Lógica/Cálculo Proposicional Clássico/Dedução Natural - Parte I/Resolução dos Exercícios

Origem: Wikilivros, livros abertos por um mundo aberto.

Resolução dos Exercícios de Regras de Inferência Direta[editar | editar código-fonte]

Lembre-se que a ordem na qual as derivações são feitas pode variar.

1[editar | editar código-fonte]

 
1.     Premissa
2.     Premissa
3.     2 DN
4.     3 E
5.     1 BC
6.     5,4 MP
7.     6,3 C

2[editar | editar código-fonte]

 
1.     Premissa
2.     Premissa
3.     Premissa
4.     3 S
5.     1,4 SD
6.     2,5 MP

3[editar | editar código-fonte]

 
1.     Premissa
2.     Premissa
3.     Premissa
4.     1,2 CB
5.     3,4 MP

Resolução dos Exercícios de Regras Hipotéticas[editar | editar código-fonte]

1[editar | editar código-fonte]

 
1.     Premissa
 
2.       Hipótese
3.       1,2 MP
4.       3 E
5.     2,4 RPC

2[editar | editar código-fonte]

 
1.     Premissa
 
2.       Hipótese
3.       1,2 MP
4.       2,3 C
5.     2,4 RAA

3[editar | editar código-fonte]

 
1.     Premissa
 
2.       Hipótese
3.       1,2 SD
4.     2,3 RPC

4[editar | editar código-fonte]

 
1.     Premissa
 
2.       Hipótese
3.       2 S
4.       2 S
5.       1,3 MP
6.       5,4 C
7.     2,6 RAA

5[editar | editar código-fonte]

 
1.     Premissa
2.     Premissa
 
3.       Hipótese
4.       2,3 C
5.       1,4 C
6.                             3,5 RAA