Prof. Jos T.

Cadenas

Conceptos
Lgica: Ciencia formal que estudia los principios de la

demostracin e inferencia vlida Proposicin: enunciado al cual se le puede asociar el valor de verdadero o falso, pero no ambos
La luna es cuadrada El nmero 7 es primo

Lgica proposicional o Booleana: sistema formal

cuyos elementos ms simples representan proposiciones y a travs del uso de conectores se pueden formar proposiciones ms complejas

Conectores booleanos
Smbolo que se utiliza para conectar dos expresiones, de

modo que el valor de verdad de la expresin compuesta depende del valor de verdad de los componentes En programacin se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo NOT: AND: OR: Implicacin: Equivalencia:

Expresiones Booleanas (EB)

Constantes = {true, false}
Variables = {p / p es una letra del alfabeto} Conectores = {, , ,, }

Smbolos de agrupacin {(,)}

Si P es una constante una variable, P es una EB P es una EB P1 * P2 es una EB, donde * es un conector booleano (P) es una EB

Ejemplos

Es de da No es de noche Ser cantante o futbolista Hoy es da de clases y amaneci lloviendo Luis jug futbol aunque estaba lesionado Siempre y cuando sea caraqueo, ser venezolano Si no llueve iremos a la playa Es temprano y hace fro. Por lo tanto, hace fro. Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. Qu hora es? Excelente!

Modelado de Lenguaje Natural con Expresiones Booleanas

Conector p pq pq pq Lenguaje Natural NO p p Y q, p SIN EMBARGO q p AUNQUE q, p PERO q pOq SI p ENTONCES q, p CONDICIN SUFICIENTE PARA q q SI p, p SLO SI q CUANDO p ENTONCES q p SI Y SLO SI q, p EQUIVALENTE A q p CONDICIN SUFICIENTE y NECESARIA PARA q

pq

Tablas de Verdad
Tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes
p t f p f t p t t q t f p q t t p t t q t f p q t f

f
f p t t f f

t
f q t f t f

t
f p q t f t t

f
f p t t f f

t
f q t f t f

f
f p q t f f t

Reglas de Precedencia
Negacin
Conjuncin , Disyuncin Implicacin

Equivalencia
Cmo se evala pqprs ?

EB Contingente
p t t t t q t t f f r t f t f r f t f t q r f t f f

p (q r)
p (q r) t t t t

f
f f

t
t f

t
f t

f
t f

f
t f

f
t f

EB No Satisfacible o Contradiccin
p t t f f q t f t f p q t f f f p f f t t q p v q f t f t f t t t f f f f (pq) (p v q )

EB Vlida o Tautologa
p t t f f q t f t f p q t f f f p f f t t q f t f t p v q f t t t (p v q ) t f f f t t t t (pq) (p v q )

Circuitos Lgicos