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)