LOGO

Lgica Proposicional

Prof: Ing. Marco A. Benites Ramirez

Agenda

Universidad Metropolitana
Enseando el camino

Proposiciones Simples Conectivos y proposiciones compuestas. Tablas de verdad Construccin de tablas de verdad para
proposiciones compuestas Formas derivadas del condicional Simbolizacin

Proposicin

Universidad Metropolitana
Enseando el camino

Es un enunciado al Son proposiciones? cual se le puede Qu hora es? asociar el concepto Por favor, cierre

de verdadero o falso, puerta pero no ambos. El 6 de abril de 1876 fue sbado Ejemplos: La luna es cuadrada Dice el Presidente: 7 es un nmero primo Todos en este pas son unos mentirosos y esto Las araas son es verdad mamferos

la

Proposiciones compuestas Conectivos

Universidad Metropolitana
Enseando el camino

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

Negacin

Universidad Metropolitana
Enseando el camino

Si

p es una Qu sucede con la proposicin, entonces negacin de p, no p es la negacin siendo p verdadero? de p y se denota por: ~p Qu sucede con la Ejemplo: negacin de p, siendo p falso? p: Hoy es martes ~ p: Hoy no es martes

Negacin

Universidad Metropolitana
Enseando el camino

Esto lo podemos
escribir de una manera compacta, utilizando una tabla
Posibilidades para la proposicin p

A esta tabla se le
llama tabla certeza de negacin de la

p V F

~p F V

Negacin

Universidad Metropolitana
Enseando el camino

Como sinnimos de no, se utilizan las siguientes expresiones:

No es cierto que .. No es el caso que Es falso que No sucede que.

Conjuncin

Universidad Metropolitana
Enseando el camino

Si p y q son
proposiciones, se llama conjuncin de p y q a la proposicin compuesta p y q y se denota por: pq

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

Conjuncin
Para
construir la tabla de p q, debemos considerar las diferentes alternativas de valores de verdad para p y para q: Cules son ?
Ambas verdaderas una V y la otra F ambas falsas

Universidad Metropolitana
Enseando el camino

p V

q V

pq V

V
F F

F
V F

F
F F

Conjuncin

Universidad Metropolitana
Enseando el camino

Se toman como sinnimos de la conjuncin:

Adems Pero Sin embargo Aunque

Tambin An A la vez No obstante

Conjuncin: p ^ q

Universidad Metropolitana
Enseando el camino

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.

Conjuncin: p ^ q

Universidad Metropolitana
Enseando el camino

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.

Disyuncin

Universidad Metropolitana
Enseando el camino

Si p y q son
proposiciones, se llama disyuncin de p y q a la proposicin compuesta p o q y se denota por: pq

p V

q V

pq V

V
F F

F
V F

V
V F

Disyuncin

Universidad Metropolitana
Enseando el camino

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

Simbolizacin: pq

p V

q V

pq V

V
F F

F
V F

V
V F

Condicional

Universidad Metropolitana
Enseando el camino

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: pq

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

Condicional

Universidad Metropolitana
Enseando el camino

Veamos la tabla
del condicional: pq

p V V

q V F V

pq V F V

Conviene pensar en
una promesa ..... Si no llueve (entonces) iremos a la playa F

Condicional

Universidad Metropolitana
Enseando el camino

El condicional es falso,
slo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la promesa no se cumple.

p V V F F

q V F V F

pq V F V V

Condicional

Universidad Metropolitana
Enseando el camino

El condicional es muy
importante en matemticas, porque los Teoremas se expresan en forma condicional. Un Teorema ser un condicional verdadero con hiptesis verdadera

p V

q V

pq V

Condicional

Universidad Metropolitana
Enseando el camino

Algunas expresiones del lenguaje que indican la presencia de un condicional (p q), son las siguientes: p es condicin suficiente para q Si p, q q si p Que p supone que q Cuando p, q q es condicin necesaria para p En caso de que p entonces q q slo si p

Condicional y Teoremas

Universidad Metropolitana
Enseando el camino

En los Teoremas, al antecedente del

condicional (p) se le llama Hiptesis y al consecuente (q) se le llama Tesis o Conclusin Los Teoremas requieren de una demostracin; es decir, partiendo de una hiptesis verdadera, hay que demostrar que la Conclusin es verdadera.

Tablas de verdad

Universidad Metropolitana
Enseando el camino

Recordemos que el valor de certeza de una

proposicin compuesta depende de los valores de certeza de las proposiciones simples que la componen Para analizar los valores de certeza de una proposicin compuesta, representamos todas las posibilidades de valores de verdad de las proposiciones simples, en un arreglo de tabla

Ejemplo con 2 proposiciones simples

Universidad Metropolitana
Enseando el camino

Construyamos la tabla de verdad para

la siguiente proposicin :(pq)(p~q) 4 filas de posibilidades

p V V F F q V F V F ~q F V F V pq V F F F p~q F V V V
(pq)(p~q)

F
F F

Ejemplo con 3 proposiciones simples

Universidad Metropolitana
Enseando el camino

Cuntas
posibilidades tendremos?

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

Ejemplo con 3 proposiciones simples

Universidad Metropolitana
Enseando el camino

Hacer la tabla de certeza para: (rp) ~(qp)

p
V V V V F F F F

q
V V F F V V F F

r
V F V F V F V F

r p V V V V V F V

q p V V V V V V F

~(qp) F F F F F F V

(r p) ~(qp)
F F F F F F

V
F

En resumen

Universidad Metropolitana
Enseando el camino

Una tabla de verdad para proposiciones

compuestas que contienen: 1 proposicin simple tendr 2 filas 2 proposiciones simples 4 = 22 filas 8 = 23 filas 3 proposiciones simples 4 proposiciones simples 16= 24 filas

razonando inductivamente..

n proposiciones simples

2n filas

Formas de expresar un condicional.

Universidad Metropolitana
Enseando el camino

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

Partes de un condicional

Universidad Metropolitana
Enseando el camino

p q
antecedente
Condicin suficiente consecuente

Condicin necesaria

Formas derivadas del condicional

Universidad Metropolitana
Enseando el camino

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

Formas derivadas del condicional

Universidad Metropolitana
Enseando el camino

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

Formas derivadas del condicional

Universidad Metropolitana
Enseando el camino

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

Formas derivadas

Universidad Metropolitana
Enseando el camino

Directo
p q

Recproco
q p

~p

~q

~q

~p

Contrario
recprocos

Contrarrecproco
contrarios

contrarrecprocos

Ejemplo

Universidad Metropolitana
Enseando el camino

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!

Ejemplo

Universidad Metropolitana
Enseando el camino

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!

Ejemplo

Universidad Metropolitana
Enseando el camino

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)

Ejercicios

Universidad Metropolitana
Enseando el camino

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.

Ejercicios

Universidad Metropolitana
Enseando el camino

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.