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

Poste aqui problemas sobre assuntos estudados no Ensino Superior (exceto os cobrados em concursos públicos e escolas militares).

Moderador: [ Moderadores TTB ]

Avatar do usuário
Autor do Tópico
magben
Imperial
Mensagens: 545
Registrado em: Qui 27 Set, 2018 20:27
Última visita: 19-03-24
Nov 2018 25 13:12

Lógica matemática - demonstração pelo método dedutivo

Mensagem não lida por magben »

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

c é uma contradição. .

Última edição: magben (Dom 25 Nov, 2018 14:24). Total de 1 vez.



Avatar do usuário
Cardoso1979
6 - Doutor
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

Mensagem não lida por 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.q.p.



Bons estudos!




Avatar do usuário
Autor do Tópico
magben
Imperial
Mensagens: 545
Registrado em: Qui 27 Set, 2018 20:27
Última visita: 19-03-24
Nov 2018 25 14:25

Re: Lógica matemática - demonstração pelo método dedutivo

Mensagem não lida por magben »

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



Avatar do usuário
Cardoso1979
6 - Doutor
Mensagens: 4008
Registrado em: Sex 05 Jan, 2018 19:45
Última visita: 04-04-23
Localização: Teresina- PI
Nov 2018 25 14:35

Re: Lógica matemática - demonstração pelo método dedutivo

Mensagem não lida por Cardoso1979 »

magben escreveu:
Dom 25 Nov, 2018 14:25
Obrigado, professor. Não sabia que era tão Simples assim
👍




Responder
  • Tópicos Semelhantes
    Respostas
    Exibições
    Última msg

Voltar para “Ensino Superior”