A = "Studio"
B = "Vengo promosso"
¬A→¬B = "se non studio vengo bocciato"
¬B→ ¬ A = "se non sono promosso allora non ho studiato "
¬B∧A = "Non sono stato promosso pur avendo studiato ( non sono stato promosso e ho studiato) "
(A∧B)∨(A∧¬B) = "A volte capita che non si è promossi pur avendo studiato (ho studiato e sono promosso oppure ho studiato e non sono promosso) "
B→A = " se vengo promosso vuol dire che ho studiato"
L'affermazione "Se non studio vengo bocciato" implica "Se vengo promosso vuol
dire che ho studiato "
| A |
B |
¬A→¬B |
¬B→¬A | ¬B∧A | (A∧B)∨(A∧¬B) | B→A |
| V |
V |
V |
V |
F | V | V |
| V |
F |
V |
F |
V | V | V |
| F |
V |
F |
V |
F | F | F |
| F |
F |
V |
V |
F | F | V |