Documentos de Académico
Documentos de Profesional
Documentos de Cultura
4-Foma Clausal PDF
4-Foma Clausal PDF
4-Foma Clausal PDF
ogica computacional
L
ogica proposicional: Forma Clausal
Tere Alsinet
Equivalencias logicas:
Dos formulas A y B son equivalentes (A B) ssi A |= B y B |= A
ssi (A B) es una tautologa
ssi A B B A es una tautologa
AA A
AA A
AB B A
AB B A
(Idempotencia)
(Commutativa)
(A B) C A (B C )
(A B) C A (B C ) (Asociativa)
(A (A B)) A
(A (A B)) A
(Absorci
on)
Equivalencias logicas:
(A (B C )) ((A B) (A C ))
(A (B C )) ((A B) (A C ))
(A) A
(A B) A B
(A B) A B
(Distributiva)
(Doble negacion)
(L. de De Morgan)
(A B) B, si A es una tautologia
(A B) A, si A es una tautologia (Leyes tautologia)
(A B) A, si A es insatisfactible
(A B) B, si A es insatisfactible
(L. insatisfactibilidad)
p1 p2 p3
Ejemplo:
{p1 , p2 , p3 , p4 }
p1 p2 p3 , p4
Ejemplo:
{p1 }
p1
Ejemplo (tautologa):
{p1 , p1 }
p1 p1
de disyunciones de literales)
Ejemplo:
{{p1 , p2 }, {p1 , p3 }}
(p1 p2 ) (p1 p3 )
Ejemplo:
{{p1 }, {p1 , p3 }, {p1 , p2 }}
p1 (p1 p3 ) (p1 p2 )
Ejemplo:
{{p1 , p2 }}
p1 p2
Ejemplo:
{{p1 }}
p1
Ejemplo (contradiccion):
{{p1 }, {p1 }}
p1 p1
A B (A B) (B A)
(1)
A B A B
(2)
Paso 2. Reducir al m
aximo el ambito de los smbolos de
negacion usando
(A) A
(3)
(A B) A B
(4)
(A B) A B
(5)
A (B C ) (A B) (A C )
(6)
(A B) C
(7)
(A C ) (B C )
AB B A
(8)
AB B A
(9)
(A B) C
A (B C )
(10)
(A B) C
A (B C )
(11)
Ejemplo:
(P Q) R
(P Q) R
(P Q) R
(P Q) R
R (P Q)
(R P) (R Q)
{{R, P}, {R, Q}}
aplicando
aplicando
aplicando
aplicando
aplicando
(
(
(
(
(
2)
4)
3)
8)
7)