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

Dedução Natural

Mensagem não lida por irwingato »

p → q ⊢(p v r) → (q v r)

Outro exercício de dedução natural gostaria de saber como resolver obrigado desde já




Avatar do usuário
darkarmer
iniciante
Mensagens: 9
Registrado em: Sex 18 Ago, 2017 19:23
Última visita: 23-05-21
Set 2018 23 16:49

Re: Dedução Natural

Mensagem não lida por darkarmer »

p → q ⊢(p v r) → (q v r)

*Sempre que queremos uma consequência lógica que é uma implicação devemos começar supondo o lado esquerdo dela.

1. p → q.............premissa
2....[p v r]..........suposição
2.1.....[p]...........suposição
2.1.1.....q v r.......iV 1.1.1
2.2.....[r]............suposição
2.2.1.....q v r.......iV 1.1.2
2.3.....q v r.........eV 2,2.1,2.1.1,2.2,2.2.1
3.(p v r) → (q v r)..i→ 2,2.3

Última edição: darkarmer (Dom 23 Set, 2018 17:13). Total de 3 vezes.



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

Re: Dedução Natural

Mensagem não lida por irwingato »

Poderia da o nome das etapas em vez da abreviação?



Avatar do usuário
darkarmer
iniciante
Mensagens: 9
Registrado em: Sex 18 Ago, 2017 19:23
Última visita: 23-05-21
Set 2018 23 19:55

Re: Dedução Natural

Mensagem não lida por darkarmer »

irwingato escreveu:
Dom 23 Set, 2018 18:57
Poderia da o nome das etapas em vez da abreviação?
iV = introdução do ou
eV= eliminação do ou
i→ = introdução da implicação




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

Voltar para “Ensino Superior”