👤

Demonstrați că formula următoare este o tautologie ajungând la o formă de echivalență, fără a folosi tabelul de adevăr.

p ∧ (p → q) → q


Răspuns :

(p⋀(p⇒q))⇒q ⇔ (p⋀(~p⋁q))⇒q ⇔ (p⋀~p)⋁(p⋀q)⇒q ⇔ p⋀q⇒q

Ultima propoziție este o tautologie, de aceia formula tot va fi o tautologie.