Cosa sono i predicati del secondo ordine o di ordine qualsiasi?
Inoltre ho letto su un testo che "da ipotesi false si può dedurre qualsiasi proposizione" che vuol dire questa affermazione?
Gatto89 ha scritto:Sia $x \in RR$. La proposizione " $|x| < 0 \rarr \text{gli asini volano}$ " è logicamente ineccepibile.
Tradotto, significa che partendo da un'ipotesi falsa puoi supporre qualsiasi cosa.
WiZaRd ha scritto:Esattamente Vicious.
La logica del primo ordine quantifica e costruisce predicati sui singoli individuali, mentre quella del secondo ordine lavora non solo sui singoli individuali ma anche sugli insiemi di singoli individuali. Quasto rende la logica del secondo ordine più espressiva di quella del primo ordine: ne parlai una volta con fields.
Un ottimo testo per iniziare uno studio di logica che consiglio a gianni80, qualora voglia approfondire, è l'Henderton: A Mathematical Introduction To Logic.
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Visitano il forum: Nessuno e 1 ospite