Matemticas Computacionales

Lgica
Simblica
Prof. Luis Eduardo Falcn
ITESM
Campus Guadalajara
Apuntes del Prof. Luis Eduardo Falcn

Proposicin Lgica
o simplemente

Proposicin:

Enunciado que puede ser

verdadero o falso, pero no ambos.

Apuntes del Prof. Luis Eduardo Falcn

Los conectivos lgicos se utilizan

para combinar proposiciones y
obtener nuevas proposiciones.
Simples o Atmicas
Proposiciones
Compuestas
Apuntes del Prof. Luis Eduardo Falcn

Negacin
P

~P

Apuntes del Prof. Luis Eduardo Falcn

Conjuncin
P

PQ

Apuntes del Prof. Luis Eduardo Falcn

Disyuncin
P

PQ

Apuntes del Prof. Luis Eduardo Falcn

Condicional
P

PQ

Apuntes del Prof. Luis Eduardo Falcn

Condicional o Implicacin

Se lee:
Si P entonces Q

PQ

P implica Q
P es suficiente para Q
P slo si Q
Q si P
Q siempre que P
Q es necesario para P
Apuntes del Prof. Luis Eduardo Falcn

Bicondicional
P

PQ

Apuntes del Prof. Luis Eduardo Falcn

Bicondicional o
Doble Implicacin

PQ
Definicin: P Q P Q Q P

Se lee:

P si y slo si Q
P es necesario y suficiente para Q
Apuntes del Prof. Luis Eduardo Falcn

Disyuncin Excluyente
P

PQ

Apuntes del Prof. Luis Eduardo Falcn

Frmula Bien Formada: f bf

1. Un tomo es una frmula bien formada.
2. Si P es una frmula bien formada, ~ P
tambin es una frmula bien formada.
3. Si P y Q son frmulas bien formadas

P Q, P Q , P Q, P Q
tambin son frmulas bien formadas.
4. Todas las frmulas bien formadas se
obtienen aplicando las reglas 1, 2 y 3.
Apuntes del Prof. Luis Eduardo Falcn

Tautologa y Equivalencia
Una fbf se dice que es una tautologa si es
verdadera para cualquier valor de verdad de
sus tomos.
Dos fbf A y B se dice que son equivalentes
si A B es una tautologa, y se denota A B

Apuntes del Prof. Luis Eduardo Falcn

Reglas de Inferencia
Deduccin Natural [Gentsen, 60s]

Reglas de la Conjuncin (AND)

-Intro
-Elim

(b)

Reglas del Condicional

-Intro -Elim (modus ponendus ponems)

Apuntes del Prof. Luis Eduardo Falcn

Reglas de Inferencia
(c)

(d)

Reglas de la contradiccin
-Intro
~

Reglas de la Negacin
~ -Intro

-Elim

~ -Elim (Regla de la Doble Negacin)

~~

Apuntes del Prof. Luis Eduardo Falcn

Reglas de Inferencia
(e)

Reglas de la Disyuncin
-Intro

-Elim

Apuntes del Prof. Luis Eduardo Falcn

Identidades Lgicas
v

(b) Contraposition Law:

(c) Distributive Laws:
(i) v ( ) ( v ) ( v )
(ii) ( v ) ( ) v ( )
(e) DeMorgans Laws:
(i) ( v )
(ii) ( ) v

Apuntes del Prof. Luis Eduardo Falcn

Identidades Lgicas
v

(b) Contraposition Law:

(c) Distributive Laws:
(i) v ( ) ( v ) ( v )
(ii) ( v ) ( ) v ( )
(e) DeMorgans Laws:
(i) ( v )
(ii) ( ) v

Apuntes del Prof. Luis Eduardo Falcn

Otras reglas importantes

Disjunctive Syllogism
pvq
~p
q
Resolution rule [Robinson, 1965]
p v q1 v q2 v v qn
~p v r1 v r2 v v rm
q1 v v qn v r1 v v rm

Apuntes del Prof. Luis Eduardo Falcn

Formas Normales
Una frmula F est en forma normal conjuntiva si
tiene la forma

f1 f 2 f m

donde cada f k es una fbf constituida por disyunciones

de proposiciones atmicas y/o sus negaciones.
Una frmula F est en forma normal disyuntiva si
tiene la forma

f1 f 2 f m

donde cada f k es una fbf constituida por conjunciones

de proposiciones atmicas y/o sus negaciones..
Apuntes del Prof. Luis Eduardo Falcn