Vous êtes sur la page 1sur 20

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
0 1

~P
1 0

Apuntes del Prof. Luis Eduardo Falcn

Conjuncin
P
0 0 1 1

Q
0 1 0 1

PQ
0 0 0 1

Apuntes del Prof. Luis Eduardo Falcn

Disyuncin
P
0 0 1 1

Q
0 1 0 1

PQ
0 1 1 1

Apuntes del Prof. Luis Eduardo Falcn

Condicional
P
0 0 1 1

Q
0 1 0 1

PQ
1 1 0 1

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
0 0 1 1

Q
0 1 0 1

PQ
1 F F 1

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
0 0 1 1

Q
0 1 0 1

PQ
0 1 1 0

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 la contradiccin Inferencia Reglas de


(c)

-Intro ~

-Elim

(d)

Reglas de la Negacin ~ -Intro


Doble Negacin)

~ -Elim (Regla de la
~~

Apuntes del Prof. Luis Eduardo Falcn

Reglas de Inferencia Reglas de la Disyuncin


(e)

Intro

Elim

Apuntes del Prof. Luis Eduardo Falcn

Identidades Lgicas
()

(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
()

(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

f2 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

f2 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