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

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: 553
Registrado em: 27 Set 2018, 20:27
Última visita: 04-05-24
Agradeceu: 63 vezes
Agradeceram: 4 vezes
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. .

Editado pela última vez por magben em 25 Nov 2018, 14:24, em um total de 1 vez.
Avatar do usuário

Cardoso1979
6 - Doutor
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

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: 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

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: 05 Jan 2018, 19:45
Última visita: 04-04-23
Localização: Teresina- PI
Agradeceu: 268 vezes
Agradeceram: 1109 vezes
Nov 2018 25 14:35

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

Mensagem não lida por Cardoso1979 »

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

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

Voltar para “Ensino Superior”