T

xP(x) x P(x)

xP(x) x P(x)

P(x) P(x) F

x P(x) x P(x)

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

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

(P(x)Q(x))P(x) V Q(x)

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

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

EQUIVALENCIA
^ T
v F

NOMBRE
Leyes de
identidad

v T T
^ F F

Leyes de
dominacin

v
^
()
v v
^ ^
v ( ^ ) ( v ) ^ ( v )
^ ( v ) ( ^ ) v ( ^ )
v ( v ) ( v ) v
^ ( ^ ) ( ^ ) ^
( v ) ^
( ^ ) v
v ( ^ )
^ ( v )
v T
^ F

v

v
( ) ^
( ) ^
( ) ^ ( ) ( ^ )
( ) ^ ( ) ( v )
( ) v ( ) ( v )
( ) v ( ) ( ^ )
( ) ^ ( )

( )

CALCULO DE PREDICADOS

Leyes idempotentes
Ley de la doble
negacin

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

Leyes conmutativas

12 x ( P(x) Q(x) ) x (P(x) Q(x))

Leyes distributivas

13 x ( P(x) Q(x) ) x (P(x) Q(x))

Leyes
asociativas
Leyes de Morgan
Leyes de absorcin
Leyes de negacin
1
2
3
4
5
6
7
8
9
10
11
12

Teora de la inferencia
xP(x) P(a)

US (Especificacin Universal)

xP(x) P(a)

ES (Especificacin Existencial)

P(a) xP(x)

EG(Generalizacin Existencial)

P(a) xP(x)

UG (Generalizacin Universal)

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

REGLAS DE INFERENCIA
A
AB
AB
A
A
B
AB
A
AB
B
B
AB
A
AB
BC
AC
AB
A
B
AB
AC
BC
AB
A (BC)
C
AC
BC
(A B) C
AB
CD
A C
BD
AB
CD
B D
A C

ADICION
SIMPLIFICACION

CONJUNCION

MODUS PONENS

MODUS TOLLENS

SILOGISMO HIPOTETICO

SILOGISMO DISYUNTIVO

LEY DE RESOLUCION

DEMOSTRACION CONDICIONAL

DEMOSTRACION
POR CASOS

DILEMA
CONSTRUCTIVO

DILEMA
DESTRUCTIVO

xx

x y xy
xy x y

x y yx
xy yx

Ley del doble complemento

Leyes de Morgan
Leyes conmutativas

x ( y z) ( x y) z
x( yz ) ( xy ) z

Leyes asociativas

x yz ( x y )( x z )
x( y z ) xy xz

Leyes distributivas

6
7

10

xxx
xx x
x0 x
x 1 x
x x 1

xx 0
x 1 x
x0 0
x ( xy ) x
x( x y ) x

Leyes idempotentes

Leyes de identidad

Leyes inversas

Leyes de dominancia

Leyes de absorcin