Question

atatati fa următoarea formula este o tautologie
p^(p->2)->2​

Answer 1

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.