Modus Ponens, Modus Tollens e Teoremi
Il ragionamento logico ha regole precise: dalle premesse (che consideri vere) devi arrivare a una conclusione attraverso passaggi validi. Un ragionamento è una deduzione logica solo se garantisce che da premesse vere ottieni sempre una conclusione vera.
Il Modus Ponens funziona così: "Se A allora B; A è vero; quindi B è vero". Il Modus Tollens invece: "Se A allora B; B è falso; quindi A è falso". Sono due schemi di ragionamento infallibili che userai continuamente.
Ogni teorema diretto ("se A, allora B") genera altri tre teoremi. Il teorema inverso scambia ipotesi e tesi, quello contrario nega entrambe, quello contronominale scambia e nega. Cruciale: solo il teorema diretto e quello contronominale sono equivalenti!
Le condizioni necessarie e sufficienti sono concetti che confondono molti studenti. Una condizione è necessaria se senza di essa l'evento non può accadere, è sufficiente se da sola basta a garantire l'evento.
Esempio pratico: Essere maggiorenne è condizione necessaria per votare, ma non sufficiente (servono anche cittadinanza e iscrizione alle liste elettorali).