Utilize o método dedutivo para mostrar a equivalencia equivalência p → q ⇔ p ⋀ ~q → c.
c é uma contradição. .
Olá, Comunidade!
Vocês devem ter notado que o site ficou um período fora do ar (do dia 26 até o dia 30 de maio de 2024).
Consegui recuperar tudo, e ainda fiz um UPGRADE no servidor! Agora estamos em um servidor dedicado no BRASIL!
Isso vai fazer com que o acesso fique mais rápido (espero )
Já arrumei os principais bugs que aparecem em uma atualização!
Mas, se você encontrar alguma coisa diferente, que não funciona direito, me envie uma MP avisando que eu arranjo um tempo pra arrumar!
Vamos crescer essa comunidade juntos
Grande abraço a todos,
Prof. Caju
Vocês devem ter notado que o site ficou um período fora do ar (do dia 26 até o dia 30 de maio de 2024).
Consegui recuperar tudo, e ainda fiz um UPGRADE no servidor! Agora estamos em um servidor dedicado no BRASIL!
Isso vai fazer com que o acesso fique mais rápido (espero )
Já arrumei os principais bugs que aparecem em uma atualização!
Mas, se você encontrar alguma coisa diferente, que não funciona direito, me envie uma MP avisando que eu arranjo um tempo pra arrumar!
Vamos crescer essa comunidade juntos
Grande abraço a todos,
Prof. Caju
Ensino Superior ⇒ Lógica matemática - demonstração pelo método dedutivo Tópico resolvido
Moderador: [ Moderadores TTB ]
-
- Mensagens: 4008
- 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!
-
- Mensagens: 553
- Registrado em: 27 Set 2018, 20:27
- Última visita: 04-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
-
- Mensagens: 4008
- 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
- Respostas
- Exibições
- Última mensagem
-
- 0 Respostas
- 226 Exibições
-
Última mensagem por flavindecria
-
- 1 Respostas
- 827 Exibições
-
Última mensagem por jrneliodias
-
- 1 Respostas
- 1826 Exibições
-
Última mensagem por Jigsaw
-
- 3 Respostas
- 1046 Exibições
-
Última mensagem por jrneliodias
-
- 0 Respostas
- 637 Exibições
-
Última mensagem por hyagosrs