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

Origem: Wikilivros, livros abertos por um mundo aberto.
Saltar para a navegação Saltar para a pesquisa

Resolução de algumas Regras de Inferência Derivadas[editar | editar código-fonte]

Contraposição[editar | editar código-fonte]

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

Lei de Duns Scot[editar | editar código-fonte]

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

Lei De Morgan I[editar | editar código-fonte]

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

Lei De Morgan II[editar | editar código-fonte]

 
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

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

1[editar | editar código-fonte]

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

2[editar | editar código-fonte]

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

3[editar | editar código-fonte]

 
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

4[editar | editar código-fonte]

 
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

5[editar | editar código-fonte]

 
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

6[editar | editar código-fonte]

 
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 | editar código-fonte]

1[editar | editar código-fonte]

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

2[editar | editar código-fonte]

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

3[editar | editar código-fonte]

 
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

4[editar | editar código-fonte]

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

5[editar | editar código-fonte]

 
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

6[editar | editar código-fonte]

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

7[editar | editar código-fonte]

 
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

8[editar | editar código-fonte]

 
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

9[editar | editar código-fonte]

 
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

10[editar | editar código-fonte]

 
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

11[editar | editar código-fonte]

 
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