Implicazione logica

Spiegazione
Due proposizioni semplici p e q si possono comporre attraverso l'implicazione logica . L'operatore dell'implicazione ha come simbolo che si legge se p allora q (in inglese if p then q).
Le due proposizioni p, q collegate con l'implicazione si rappresentano con:

p q

La prima proposizione viene detta antecedente, la seconda conseguente. Il valore di verità dell'implicazione è falso solo nel caso in cui l'antecedente è vero e il conseguente falso (vedi Tavola di verità).

Esempi

p q p q
Il quadrato ha quattro lati uguali (vero) Il quadrato ha le diagonali perpendicolari (vero) Se il quadrato ha quattro lati uguali allora ha le diagonali perpendicolari (vero)
9 è multiplo di 3 (vero) 9 è multiplo di 6 (falso) Se 9 è multiplo di 3 allora è multiplo di 6 (falso)
10 è divisibile per 3 (falso) 10 è multiplo di 2 (vero) Se 10 è divisibile per 3 allora è multiplo di 2 (vero)
Home > Schede di matematica e scienze > Logica e insiemistica > Implicazione logica

Il simbolo Nota rappresenta una nota, selezionandolo comparirà un approfondimento relativo all'argomento evidenziato in corsivo. Per chiudere la nota fare clic su Chiudi.
N. B. Se la pagina viene visualizzata con Internet Explorer bisogna fare clic sull'animazione Flash per poterla utilizzare.