L’implicazione è il connettivo che all’inizio sorprende di più, perché il suo comportamento nei casi in cui l’ipotesi è falsa non corrisponde all’intuizione del linguaggio comune.
Osservazione — L'implicazione è strana solo all'inizio
La riga curiosa della tavola di verità è la terza: se l’ipotesi è falsa, l’implicazione è vera. “Se piove allora prendo l’ombrello” resta vera anche nei giorni in cui non piove: in quei giorni la promessa non viene messa alla prova.
L’implicazione è falsa solo quando è vera ma è falsa: è l’unico caso in cui mi si può “cogliere in fallo”.
Collegamenti
Argomenti: Teoria degli insiemi
Concetti: Implicazione