Ensino SuperiorDedução Natural

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
irwingato
Pleno
Mensagens: 88
Registrado em: Dom 19 Abr, 2015 09:26
Última visita: 14-04-22
Set 2018 23 15:44

Dedução Natural

Mensagem não lida por irwingato »

¬p (p → q) ⊢p ^ ¬ q

Outro exercício de dedução natural gostaria de saber como fazer




Avatar do usuário
Autor do Tópico
irwingato
Pleno
Mensagens: 88
Registrado em: Dom 19 Abr, 2015 09:26
Última visita: 14-04-22
Set 2018 23 19:00

Re: Dedução Natural

Mensagem não lida por irwingato »

Gostaria do nome completo dos processos utilizados




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

Voltar para “Ensino Superior”