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

 

 
1.       Premissa
 
2.         Hipótese
3.         2 DN
4.         1,3 MT
5.         4 DN
6.       2,5 RPC

 

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

 

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

 

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

 

 
1.       Premissa
2.       Premissa
3.       1,2 MT
4.       3 DM

 

 
1.       Premissa
2.       1 DM
 
3.         Hipótese
4.         3 DN
5.         2,4 SD
6.         5 DN
7.       3,6 RPC

 

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

 

 
1.            Premissa
2.            Premissa
 
3.         Hipótese
4.         1,3 MT
5.         2,3 MT
6.         4,5 C
7.         6 DM
8.       3,7 RPC
9.       8 CT

 

 
01.            Premissa
 
02.             Hipótese
03.             2 DM
   
04.           Hipótese  
05.           4 DN
06.           3,5 SD
07.           6 DN
08.                   4,7 RPC
09.                   8,1 C
10.                             2,9 RAA
11.                             10 DN

 

 
01.            Premissa
 
02.             Hipótese
   
03.           Hipótese  
04.           3 DM
05.           4 S
06.           4 S
07.           2,5 SD
08.           1,7 MP
09.           1,7 MP
10.              3,9 RAA
11.              10 DN
12.       2,11 RPC

Resolução dos Exercícios de Demonstração de Teoremas

editar

 

 
1.                 Hipótese
   
2.                 1 R
3.       1,2 RPC
4.       3,3 CB

 

 
1.               Hipótese
   
2.               1 DN
3.       1,2 RPC
4.               Hipótese
   
5.               4 DN
6.       4,5 RPC
7.       3,6 CB

 

 
01.                 Hipótese
02.               1 BC
03.           Hipótese
04.           2,3 MP
05.             3,4 C
06.           3,5 RAA
07.           1 BC
08.           7,6 MP
09.           8,6 C
 
10.       1,9 RAA

 

 
1.                 Hipótese
   
2.           Hipótese
3.           1 R
4.           2,3 RPC
5.       1,4 RPC

 

 
1.                 Hipótese
   
2.           Hipótese
3.           1,2 MP
4.           3,2 C
5.                 2,4 RAA
6.                 5 DN
7.       1,6 RPC

 

 
1.                 Hipótese
   
2.           Hipótese
3.           1,2 C
4.           2,3 RPC
5.       1,4 RPC

 

 
01.         Hipótese
   
02.                        Hipótese
03.                        2 S
04.                        2 S
05.                        1,4 MT
06.                        5 DM
07.                        3 DN
08.                        6,7 SD
     
09.         2,8 RPC
   
10.       1,9 RPC
 
 
11.         Hipótese
   
12.                 

      Hipótese

13.           12 S
14.           12 S
15.           14 DN
16.           11,15 MT
17.           16 DM
18.           13 DN
19.           17,18 SD
20.           19 DN
     
21.         12,20 RPC
 
22.       9,15 RPC
23.       10,22 CB

 

 
1.         Hipótese
   
2.                 Hipótese
     
3.             Hipótese
4.             1,3 MP
5.             2,3 MP
6.             4,5 MP
       
7.           3,6 RPC
     
8.         2,7 RPC
 
9.       1,8 RPC

 

 
1.         Hipótese
   
2.                 Hipótese
     
3.             Hipótese
4.             1,3 MP
5.             4,2 MP
       
6.           3,5 RPC
     
7.         2,6 RPC
 
8.       1,7 RPC

 

 
1.         Hipótese
   
2.                 Hipótese
     
3.             Hipótese
4.             1,3 MP
5.             2,3 MP
6.             4,5 C
       
7.           3,6 RAA
     
8.         2,7 RPC
 
9.       1,8 RPC

 

 
01.         Hipótese
   
02.                 Hipótese
     
03.             Hipótese
04.             1,3 MT
05.             2,3 MT
06.             4,5 C
07.             6 DM
       
08.           3,7 RAA
09.           8 CT
     
10.         2,7 RPC
 
11.       1,10 RPC