LOGO

CICLO 2011 II
LOGICA PROPOSICIONAL
LOGO
LOGICA PROPOSICIONAL
CICLO 2011 II
Universidad Metropolitana
Enseando el camino
Es un enunciado al cual
se le puede asociar el
concepto de verdadero
o falso, pero no ambos.
PROPOSICION
Universidad Metropolitana
Enseando el camino
Proposicin

Ejemplos:
Si son proposiciones
La luna es cuadrada
7 es un nmero primo
Las araas son
mamferos
La raz de 2 es 1.41
Los gatos tienen 7
vidas
no Son proposiciones
Qu hora es?
Por favor, cierre la
puerta
El 6 de abril de 1876 fue
sbado
Dice el Presidente:
Todos en este pas son
unos mentirosos y esto
es verdad

Universidad Metropolitana
Enseando el camino
Proposiciones compuestas
Conectivos
Conocido el valor de verdad de ciertas
proposiciones, la lgica establece el valor
de verdad de otras relacionadas con stas.

A stas ltimas se les conoce como
proposiciones compuestas
Universidad Metropolitana
Enseando el camino
Negacin
Si p es una
proposicin, entonces
no p es la negacin
de p y se denota por:
~ p
Ejemplo:
p: Hoy es martes
~ p: Hoy no es martes
Qu sucede con la
negacin de p,
siendo p verdadero?
Qu sucede con la
negacin de p,
siendo p falso?



Universidad Metropolitana
Enseando el camino
Negacin
Esto lo podemos
escribir de una
manera
compacta,
utilizando una tabla
A esta tabla se le
llama tabla de
certeza de la
negacin

p ~ p

V F
F V
Posibilidades para la proposicin p
Universidad Metropolitana
Enseando el camino
Conjuncin
Si p y q son
proposiciones, se
llama conjuncin de p
y q a la proposicin
compuesta p y q y
se denota por:
p q

Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: maana es mircoles

p q :Hoy es martes y
la luna es cuadrada
p r :Hoy es martes y
maana es mircoles

Universidad Metropolitana
Enseando el camino
Conjuncin

En la conjuncin es
verdadera solo si
ambas son
verdaderas en los
demas casos es
FALSO
Se lee p y q
p q p q
V V V
V F F
F V F
F F F
Universidad Metropolitana
Enseando el camino Conjuncin
Se toman como sinnimos de la conjuncin:
Adems
Pero
Sin embargo
Aunque
Tambin
An
A la vez
No obstante
Universidad Metropolitana
Enseando el camino
Conjuncin: p ^ q

Lus estudia ,adems de trabajar
Lus estudi pero no aprob
Lus canta, sin embargo no baila
Lus jug futbol aunque estaba lesionado
Lus juega futbol , tambin Jos
Lus sali, an no llega
Lus cocina a la vez que canta
Lus viajar no obstante est sin visa
Lus canta , no baila.

Universidad Metropolitana
Enseando el camino Conjuncin: p ^ q
No siempre y denota una conjuncin
Ejemplo:

Silvia y Nelly son hermanas

Esta es una proposicin (simple), en donde el y
permite establecer la relacin entre los
sujetos.

Universidad Metropolitana
Enseando el camino
Disyuncin
Si p 0 q son
proposiciones,
se llama
disyuncin de
p 0 q a la
proposicin
compuesta y
es verdadera
basta que una
de ellas sea
verdadera
p q p q
V V V
V F V
F V V
F F F
Universidad Metropolitana
Enseando el camino
Disyuncin

Ser cantante o futbolista
p: Ser cantante
q: Ser futbolista

Simbolizacin:
p q
p q p q
V V V
V F V
F V V
F F F
Universidad Metropolitana
Enseando el camino
Condicional
Si p y q son
proposiciones, se
llama condicional de p
y q a la proposicin
compuesta si p,
entonces q y se
denota por:
p q
Ejemplos:
Si no llueve
(entonces) iremos a la
playa
Si me gano la lotera
(entonces) me voy de
viaje
Si no estudio
(entonces) no
aprobar Lgica


Universidad Metropolitana
Enseando el camino
Condicional
Veamos la tabla
del condicional:
p q
Conviene pensar en
una promesa ..... Si
no llueve (entonces)
iremos a la playa

p q p q
V V V
V F F
F V V
F F V
Universidad Metropolitana
Enseando el camino
B I CONDICIONAL
Este caso de denota por
la doble fecha y significa
si solo si .
Es verdadera si ambos
son iguales

En los dems casos es
falso
p q p q
V V V
V F F
F V F
F F V
Universidad Metropolitana
Enseando el camino
Ejemplo con 3
proposiciones simples

Cuntas
posibilidades
tendremos?
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Universidad Metropolitana
Enseando el camino
Ejemplo con 3
proposiciones simples
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
rp qp ~(qp)
V V F
V V F
V V F
V V F
V V F
F V F
V F V
F F V
(r p) ~(qp)
F
F
F
F
F
F
V
F
Hacer la tabla de certeza para: (rp) ~(qp)
Universidad Metropolitana
Enseando el camino
En resumen
Una tabla de verdad para proposiciones
compuestas que contienen:
1 proposicin simple tendr 2 filas
2 proposiciones simples
3 proposiciones simples
4 proposiciones simples

razonando inductivamente..

n proposiciones simples
4 = 2
2
filas
8 = 2
3
filas
16= 2
4
filas
2
n
filas
Universidad Metropolitana
Enseando el camino
Formas de expresar un
condicional.
Si es Chiclayano, es Peruano (p q)
Es Peruano, siempre que sea Chiclayano
Es Peruano si es Chiclayano
Es suficiente que sea Chiclayano para que sea
Peruano
Siempre y cuando sea Chiclayano, ser
Peruano.
Es necesario que sea Peruano para ser
Cliclayano
TODAS ESTAS EXPRESIONES SE SIMBOLIZAN
COMO: p q
Universidad Metropolitana
Enseando el camino
Partes de un condicional
p q


antecedente
Condicin
suficiente
consecuente
Condicin
necesaria
Universidad Metropolitana
Enseando el camino
Formas derivadas del
condicional
Dado el condicional directo: p q, el condicional
~ p ~q se llama contrario y lo
expresaramos: si no p, entonces no q

Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Contrario: ~ p ~q
Si no repruebo el examen, entonces no me
enojar bastante

Universidad Metropolitana
Enseando el camino
Formas derivadas del
condicional
Dado el condicional directo: p q, el condicional
q p se llama recproco y lo expresaramos:
si q, entonces p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Recproco: q p
Si me enojo bastante , entonces reprobar el
examen

Universidad Metropolitana
Enseando el camino
Formas derivadas del
condicional
Dado el condicional directo: p q, el condicional
~ q ~p se llama contrarrecproco y lo
expresaramos: si no q, entonces no p
Directo: p q
Si repruebo el examen, entonces me enojar
bastante
Contrarrecproco: ~ q ~p
Si no me enojo bastante, entonces no repruebo el
examen

Universidad Metropolitana
Enseando el camino
Formas derivadas
p q q p
~ p ~ q ~ q ~ p
Directo Recproco
Contrario Contrarrecproco
recprocos
contrarios
contrarrecprocos
Universidad Metropolitana
Enseando el camino
Ejemplo
Hallar las formas derivadas del siguiente
condicional:
Si un nmero es par, entonces es mltiplo
de 4. . V
o F?
Falso (contraejemplo: 2)
Recproco:
Si un nmero es mltiplo de 4 entonces es
par. ..V o F?
Verdadero!
Universidad Metropolitana
Enseando el camino
Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo
de 4.
Contrario: ~ p ~ q
Si un nmero no es par, entonces no es
mltiplo de 4
Verdadero!
Universidad Metropolitana
Enseando el camino
Ejemplo
Directo: p q
Si un nmero es par, entonces es mltiplo
de 4.
Contrarrecproco: ~ q ~ p
Si un nmero no es mltiplo de 4,
entonces no es par
Falso.. 2 no es mltiplo de cuatro y es
par (antecedente verdadero, consecuente falso)
Universidad Metropolitana
Enseando el camino
Ejercicios
1. Escribir las formas derivadas para:
a) (r ~q) p.
b)Si yo digo s, ella dice no.
2. Construye una proposicin verdadera
que incluya un condicional, una
conjuncin, una disyuncin y una
negacin (no necesariamente en ese
orden), que conste de las componentes
p, q y r con todas ellas falsas.
Universidad Metropolitana
Enseando el camino
Ejercicios
Escribe el recproco, el inverso y el
contrarrecproco de cada una de las
proposiciones siguientes:
Si q, entonces r
~ p (~ q )
~p~ (r q )
El sol brilla si ests feliz.
Si tu automvil no tiene aire acondicionado,
no tendrs amigos.