p ∧ (p → q) → q
①: p = F, q = F.
F ∧ (F → F) → F ⇔ F ∧ T → F ⇔ F → F ⇔ T
②: p = F, q = T.
F ∧ (F → T) → T ⇔ F ∧ T → T ⇔ F → T ⇔ T
③: p = T, q = F.
T ∧ (T → F) → F ⇔ T ∧ F → F ⇔ F → F ⇔ T
④: p = T, q = T.
T ∧ (T → T) → T ⇔ T ∧ T → T ⇔ T → T ⇔ T
Toate posibilitățile sunt adevărate.
⇒ Formula este o tautologie.