Instituto Federal do Esprito Santo Campus Serra

Regras de Deducao para o Sistema de Deducao Natural Prof. Jefferson O. Andrade

L
ogica Proposicional
Regras de Equivalencia
1. Dupla negac
ao (dn)

2. Bicondicional (bicond)
( ) ( )

(b) 0
11. Elemento absorvente (ea)
(a) 0 0
(b) 1 1
12. Ou Exclusivo (xor)
(a) Y ( ) ( )
(b) Y ( ) ( )

4. Silogismo hipotetico (sh)

,

5. Silogismo disjuntivo (sd)

,
,
ou

(a)

Regras de Inferencia

6. Dilema construtivo (dc)

, ,

(b)

1. Modus Ponens (mp)

,

7. Dilema destrutivo (dd)

, ,

3. Comutatividade (com)

4. Associatividade (ass)
(a) ( ) ( )
(b) ( ) ( )
5. Distributividade (dist)
(a) ( ) ( ) ( )
(b) ( ) ( ) ( )
6. Condicional (cond)

7. De Morgan (dm)
(a) ( )
(b) ( )
8. Idempotencia (id)
(a)
(b)
9. Complemento (comp)
(a) 0
(b) 1
10. Elemento neutro (en)
(a) 1

2. Modus Tolens (mt)

,

3. Conjuncao (conj)
,

4. Simplificacao (simp)

ou

5. Adicao (ad)

para qualquer .

Regras de Inferencia Adicionais

1. Exportacao (exp)
( )
( )
2. Inconsistencia (inc)
,
para qualquer .

3. Contraposicao (cont)

L
ogica de Predicados
Regras de Equivalencia
1. Dualidade dos quantificadores (dq)
(a) x : P (x) x : P (x)
(b) x : P (x) x : P (x)
Regras de Inferencia
1. Particularizac
ao universal (pu)
x : P (x)
P (t)
2. Particularizac
ao existencial (pe)
x : P (x)
P (t)

Restric
ao: o smbolo t n
ao pode
ter sido usado antes.

3. Generalizac
ao universal (gu)
P (a)
x : P (x)

Restric
ao: P (a) n
ao pode ter sido
introduzido na demonstrac
ao por pe.

4. Generalizac
ao existencial (ge)
P (a)
x : P (x)