1-Disjunció:
A o B
no A
=
B
Exemple: Faig els deures de matemàtiques o de català? No faig els de català, per tant, faig els de matemàtiques.
MATEMÀTIQUES o CATALÀ
no CATALÀ
=
MATEMÀTIQUES
2-Sil·logisme:
A és B
B és C
=
A és C
Exemple: Un peix està a l'aigua. L'aigua està mollada. Per tant el peix estarà mollat.
PEIX és A L'AIGUA
AIGUA és MOLLADA
=
PEIX és MOLLAT
3-Implicació (I):
si A, B
A
=
B (per modus ponens)
Exemple: Si salta el ràdar, corres. Salta el ràdar, per tant corres.
si SALTA EL RÀDAR, CORRES
SALTA EL RÀDAR
=
CORRES (per modus ponens)
4-Implicació (II):
si A, B
no B
=
no A
(per modus tollens)
Exemple: Si menjo molt, engreixo. No engreixo, per tant no menjo molt.
si MENJO MOLT, ENGREIXO
no ENGREIXO
=
no MENJO MOLT
(per modus tollens)
