Modus ponens

Il modus ponens è una regola d'inferenza alla base del ragionamento logico deduttivo, ossia una regola di deduzione mediante la quale, dalla verità di alcune proposizioni, si può dedurre la verità di una nuova proposizione.

Consideriamo due enunciati . Il modus ponens afferma che se implica è un enunciato vero, e se anche è vero, allora è un enunciato vero.

Usando i connettivi logici possiamo esprimere il modus ponens nella seguente forma:

Esempio di modus ponens

Consideriamo le due proposizioni:

: oggi piove;

: la strada è bagnata.

La proposizione afferma: se oggi piove allora la strada è bagnata.

Secondo la regola del modus ponens, se è vera, e anche è vera, allora è vera.

Nel nostro esempio: se oggi piove allora la strada è bagnata, e oggi piove, dunque la strada è bagnata.

Tavola di verità del modus ponens

Il modus ponens è a tutti gli effetti una formula enunciativa, ossia un enunciato composto, per il quale si può costruire la relativa tavola di verità.

Scriviamo la formulazione del modus ponens con i connettivi logici

e costruiamone la tavola di verità nel modo seguente:

- disegniamo una tabella con 5 colonne, pari alla somma tra il numero di proposizioni e il numero di connettivi logici presenti nell'enunciato del modus ponens.

- Nelle prime due colonne riportiamo le proposizioni e e i loro possibili valori di verità (V o F), in modo da formare tutte le possibili coppie: (V, V), (V, F), (F, V), (F, F).

Nelle restanti tre colonne scriviamo i vari enunciati composti, a partire dal più interno e fino ad arrivare a quello completo.

Per completare la terza colonna ricaviamo i valori di verità dell'enunciato , ricordando che un enunciato composto con il connettivo logico di implicazione materiale è falso se la prima proposizione è vera e la seconda è falsa, mentre è vero in tutti gli altri casi.

Completiamo la quarta colonna riportando i valori di verità dell'enunciato , che è vero solo se entrambi gli enunciati e sono veri.

L'enunciato nell'ultima colonna è quello che descrive il modus ponens, ed è falso solo se è vero e è falso.

La tavola di verità del modus ponens ci permette di affermare che si tratta di una tautologia, infatti è un enunciato sempre vero.

Osservazione sulla corretta formulazione del modus ponens

Ricordiamo che il modus ponens afferma che se implica è un enunciato vero, e se anche è vero, allora è un enunciato vero.

La sua corretta formulazione con i connettivi logici è la seguente:

In altri termini l'ultima implicazione dovrebbe essere un'implicazione logica e non un'implicazione materiale.

Nonostante ciò il modus ponens è una tautologia, quindi i due simboli di implicazione logica e implicazione materiale possono essere usati indistintamente.

Per approfondire questo argomento rimandiamo alla lettura della nostra pagina sull'implicazione.

***

Se volete leggere a proposito delle altre principali regole di deduzione:

- il principio del terzo escluso;

- il modus tollens.