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
- Cardoso1979
- Mensagens: 4006
- Registrado em: 05 Jan 2018, 19:45
- Última visita: 04-04-23
- Localização: Teresina- PI
- Agradeceu: 268 vezes
- Agradeceram: 1109 vezes
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!
- magben
- Mensagens: 553
- Registrado em: 27 Set 2018, 20:27
- Última visita: 31-05-24
- Agradeceu: 63 vezes
- Agradeceram: 4 vezes
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
- Cardoso1979
- Mensagens: 4006
- Registrado em: 05 Jan 2018, 19:45
- Última visita: 04-04-23
- Localização: Teresina- PI
- Agradeceu: 268 vezes
- Agradeceram: 1109 vezes
-
- Tópicos Semelhantes
- Resp.
- Exibições
- Últ. msg
-
- 0 Resp.
- 268 Exibições
-
Últ. msg por flavindecria
-
- 1 Resp.
- 877 Exibições
-
Últ. msg por jrneliodias
-
- 1 Resp.
- 1871 Exibições
-
Últ. msg por Jigsaw
-
- 3 Resp.
- 1108 Exibições
-
Últ. msg por jrneliodias
-
- 0 Resp.
- 684 Exibições
-
Últ. msg por hyagosrs