Lógica/Cálculo Quantificacional Clássico/Dedução Natural no CQC/Resolução dos exercícios

 
1.     Premissa
2.     Premissa
3.     1
4.     3,2 SD


 
1.     Premissa
2.     Premissa
3.     1
4.     2
5.     3 S
6.     4 S
7.     5,6 C
8.     7


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


 
1.     Premissa
 
2.       Hipótese para
3.       2 S
4.       2 S
5.       3
6.       4
7.       5,6 C
8.     1,2-7


 
1.     Premissa
2.     Premissa
 
3.       Hipótese para
4.       2
5.       3,4 C
6.       5
7.           1,3-6

Exercícios de teoremasEditar

 

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


 

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


 

 
01.         Hipótese
   
02.                       Hipótese para  
     
03.             Hipótese para  
04.             3  
05.             4  
       
06.           2,3-5  
     
07.         1,2-6  
 
08.       1,7 RPC
 
 
09.         Hipótese
   
10.                       Hipótese para  
     
11.             Hipótese para  
12.             11  
13.             12  
       
14.           10,11-13  
     
15.         9,10-14  
 
08.       1,7 RPC
 
17.       8,16 CB


 

 
01.               Hipótese
   
02.               1 S
03.               1 S
04.               2  
05.               3  
06.               4,5 C
07.               2  
08.       1,7 RPC
09.               Hipótese
   
10.               9  
11.               10 S
12.               11  
13.               10 S
14.               13  
15.               13  
16.       4,5 RPC
17.       8,16 CB


 

 
01.                 Hipótese
02.               1 S
03.           Hipótese para  
04.           1 S
05.             4,3 C
06.             5  
07.           2,3-6  
08.       1,7 RPC
09.                 Hipótese
           
10.           Hipótese para  
11.           10 S
12.             11  
13.             10 S
14.             12,13 C
15.           9,10-14  
16.       9,15 RPC
17.       8,16 CB


 

 
01.         Hipótese
   
02.                 Hipótese
03.                 2 IQ
     
04.             Hipótese para  
05.             4 DM
06.             5 S
07.             5 S
08.             1,7 SD
09.             6  
10.             9 IQ
11.             8,10 C
       
12.           3,4-11  
     
13.         2,17 RAA
14.         13 DN
 
15.       1,19 RPC
16.         Hipótese
17.         16  
   
18.                 Hipótese
19.                 18 DM
20.                 19 S
21.                 17,20 SD
22.                 21  
23.                 19 S
24.                 22,23 C
     
25.               18,24 RAA
26.               25 DN
27.             16,26 RPC
28.             15,27 CB


 

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