PONTIFICIA PONTIFICIA

UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional Captulo 3 Clculo proposicional

3.1 - Introduccin 3.2 - Proposiciones
El clculo proposicional es el estudio de las relaciones lgicas entre objetos En el clculo proposicional se utilizan letras minsculas p,q,r,s para
llamados proposiciones, que frecuentemente pueden interpretarse como simbolizar proposiciones, las que se combinan para obtener proposiciones
afirmaciones que tienen algn significado en contextos de la vida real. compuestas utilizando smbolos conectivos lgicos
3.2 - Proposiciones p: Chile est en Asia
Una proposicin es cualquier frase que tenga un valor de verdad bien q: 2 por 2 es igual a 4
definido, es decir, que sea verdadera o falsa.
pq Chile est en Asia y 2 por 2 es igual a 4
Proposiciones No son Proposiciones
p ( q ) Chile est en Asia y 2 por 2 no es igual a 4
9Chile est en Asia 9Inserte el CD (p ) (q ) Chile no est en Asia y 2 por 2 no es igual a 4
92 por 2 es igual a 4 9Qu da es hoy?
9El color de ese auto es rojo 9Dnde estoy? pq Chile est en Asia o 2 por 2 es igual a 4
9Est lloviendo 9Socorro!!! p ( q ) Chile est en Asia o 2 por 2 es no igual a 4
9Francia est en Europa 9Ir directamente a la crcel
( p ) q Chile no est en Asia o 2 por 2 es igual a 4

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica
Ricardo Soto De Giorgis Informtica Ricardo Soto De Giorgis Informtica

PONTIFICIA PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional Captulo 3 Clculo proposicional

3.2.1 Frmulas bien formadas 3.3 Tablas de verdad
Una frmula bien formada es una frmula sintcticamente correcta Las tablas de verdad definen el significado de una sentencia
Debido a que el lenguaje es composicional el significado de una sentencia se
a) Toda variable proposicional es una frmula bien formada (fbf)
puede obtener a partir del significado de sus partes.
b) Si A es fbf entonces (A) es fbf
TAUTOLOGIA: la frmula es verdadera para todos lo valores posibles de sus
c) Si A y B son (fbf) tambin lo son ( A B), ( A B), ( A B), ( A B)
variables proposicionales
Cualquier fbf se obtiene aplicando un n finito de veces los puntos a,b,c. CONTRADICCION: la frmula es falsa para todos lo valores posibles de sus
variables proposicionales
CONTINGENCIA: la frmula es verdadera o falsa dependiendo de los valores
de verdad de sus variables proposicionales.

p q pq pq pq pq p q
V V V V V V F F
V F F V F F F V
F V F V V F V F
F F F F V V V V
Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica
Ricardo Soto De Giorgis Informtica Ricardo Soto De Giorgis Informtica

PONTIFICIA PONTIFICIA
UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica UNIVERSIDAD CATOLICA DE VALPARAISO Escuela de Ingeniera Informtica

Captulo 3 Clculo proposicional Captulo 3 Clculo proposicional

3.4 Leyes del Clculo proposicional 3.4 Leyes del Clculo proposicional
Doble negacin

Leyes conmutativas
Leyes de DeMorgan

Leyes asociativas Contrapositiva

Implicacin
Leyes distributivas

Leyes de idempotencia

Equivalencia
Leyes de identidad
Ley de exportacin

Reduccin al absurdo

Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica Desarrollado por Escuela de Ingeniera INF 152 Programacin en Lgica
Ricardo Soto De Giorgis Informtica Ricardo Soto De Giorgis Informtica