Utilize o método dedutivo para mostrar a equivalencia equivalência p → q ⇔ p ⋀ ~q → c.
c é uma contradição. .
Ensino Superior ⇒ Lógica matemática - demonstração pelo método dedutivo Tópico resolvido
Moderador: [ Moderadores TTB ]
Nov 2018
25
13:12
Lógica matemática - demonstração pelo método dedutivo
Última edição: magben (Dom 25 Nov, 2018 14:24). Total de 1 vez.
-
- Mensagens: 4008
- Registrado em: Sex 05 Jan, 2018 19:45
- Última visita: 04-04-23
- Localização: Teresina- PI
Nov 2018
25
13:48
Re: Lógica matemática - demonstração pelo método dedutivo
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.q.p.
Bons estudos!
Prova:
[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!
Nov 2018
25
14:25
Re: Lógica matemática - demonstração pelo método dedutivo
Obrigado, professor. Não sabia que era tão Simples assim
-
- Mensagens: 4008
- Registrado em: Sex 05 Jan, 2018 19:45
- Última visita: 04-04-23
- Localização: Teresina- PI
-
- Tópicos Semelhantes
- Respostas
- Exibições
- Última msg
-
- 0 Respostas
- 224 Exibições
-
Última msg por flavindecria
-
- 0 Respostas
- 308 Exibições
-
Última msg por Eshoyla
-
- 0 Respostas
- 461 Exibições
-
Última msg por Squ3let0n
-
- 1 Respostas
- 1028 Exibições
-
Última msg por LucasPinafi
-
- 2 Respostas
- 234 Exibições
-
Última msg por ArthurToso