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

Resolução dos Exercícios de Regras de Inferência DiretaEditar

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

1Editar

 

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

2Editar

 

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

3Editar

 

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

Resolução dos Exercícios de Regras HipotéticasEditar

1Editar

 

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

2Editar

 

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

3Editar

 

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

4Editar

 

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

5Editar

 

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