p → q ⊢(p v r) → (q v r)
Outro exercício de dedução natural gostaria de saber como resolver obrigado desde já
Ensino Superior ⇒ Dedução Natural
Set 2018
23
16:49
Re: Dedução Natural
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
*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
Editado pela última vez por darkarmer em 23 Set 2018, 17:13, em um total de 3 vezes.
Set 2018
23
19:55
Re: Dedução Natural
iV = introdução do ou
eV= eliminação do ou
i→ = introdução da implicação
-
- Tópicos Semelhantes
- Resp.
- Exibições
- Últ. msg
-
- 3 Resp.
- 858 Exibições
-
Últ. msg por darkarmer
-
- 1 Resp.
- 676 Exibições
-
Últ. msg por irwingato
-
- 0 Resp.
- 553 Exibições
-
Últ. msg por irwingato
-
- 0 Resp.
- 644 Exibições
-
Últ. msg por luizgaraujo
-
- 0 Resp.
- 722 Exibições
-
Últ. msg por matrholambda