Você está na página 1de 2

# Apndice A

Equivalncias e Inferncias
fundamentais
A.1 Leis de Equivalncia


Idempotncia (ID):

AAA
AAA

AB BA
AB BA

(B C) (A B) C
Associao (ASSOC): A
A (B C) (A B) C

(B C) (A B) (A C)
Distribuio (DIST): A
A (B C) (A B) (A C)

Comutao (COM):

## Dupla Negao (DN):

De Morgan (DM):

A A
(A B) A B
(A B) A B

Condicional (COND):
Bicondicional

A B A B

A B (A B) (B A)
(BICOND): A B (A B) (A B)

A B (A B) (B A)

Contraposio (CP):

A B B A

Exportao-Importao (EI):
Equivalncias com

(A B) C A (B C)

V
tautologias (ET): AAA
V A
1

APNDICE A.

Conjuno (CONJ):

A A F
AF A

A, B A B

## A.2 Regras de Inferncia

A |= A B


Simplicao (SIMP):

A B |= A
A B |= B

## Simplicao Disjuntiva (SIMPD): (A B) (A B) |= A

Absoro (ABS): A B |= A (A B)
Modus Ponens (MP): (A B), A |= B
Modus Tollens (MT): (A B), B |= A
Silogismo Disjuntivo (SD):

(A B), A |= B
(A B), B |= A

## Silogismo Hipottico (SH): (A B), (B C) |= (A C)

Dilema Construtivo (DC): (A B), (C D), (A C) |= (B D)
Dilema Destrutivo (DD): (A B), (C D), (B D) |= (A C)

Equivalncias
De Morgan (DM):

xP (x) xP (x)
xP (x) xP (x)

## x(P (x) Q(x)) xP (x) xQ(x)

x(P (x) Q(x)) xP (x) xQ(x)

Inferncias
Instanciao Universal (IU) (Eliminao do ): xP (x) |= P (x/t)
Generalizao Universal (GU) (Introduo do ): P (t) |= xP (x), onde t
um objeto arbitrariamente escolhido

## Generalizao Existencial (GE) (Introduo do ): P (t) |= xP (x)

Instanciao Existencial (IE) (Eliminiao de ): xP (x) |= P (x/t)