Ensino Superior ⇒ Lógica matemática - demonstração pelo método dedutivo Tópico resolvido

[magben]

Utilize o método dedutivo para mostrar a equivalencia equivalência p → q ⇔ p ⋀ ~q → c.

c é uma contradição. .

[Cardoso1979]

Observe

Prova:

[tex3]p\wedge ∼q → c ⟺ ∼(p\wedge ∼q)\vee c ⟺ ∼(p\wedge ∼q) ⟺ ∼p\vee ∼∼q ⟺ ∼p\vee q ⟺ p → q [/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]p\wedge ∼q → c ⟺ ∼(p\wedge ∼q)\vee c ⟺ ∼(p\wedge ∼q) ⟺ ∼p\vee ∼∼q ⟺ ∼p\vee q ⟺ p → q [/tex3]

c.q.p.



Bons estudos!

[magben]

Obrigado, professor. Não sabia que era tão Simples assim

[Cardoso1979]

Obrigado, professor. Não sabia que era tão Simples assim