Ensino Superior ⇒ Dedução Natural

[irwingato]

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

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

[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

[irwingato]

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

[darkarmer]

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