Saltar para o conteúdo

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

Origem: Wikilivros, livros abertos por um mundo aberto.

 
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 teoremas

[editar | editar código-fonte]

 
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