Profesor: Econ. Plider M.

Vsquez Ramn

CICLO 2015 I
Agenda
Proposiciones Simples
Conectivos y proposiciones compuestas.
Tablas de verdad
Construccin de tablas de verdad para proposiciones
compuestas
Formas derivadas del condicional
Simbolizacin
Proposicin
Es un enunciado al cual Son proposiciones?
se le puede asociar el Qu hora es?
concepto de verdadero Por favor, cierre la puerta
o falso, pero no ambos. El 6 de abril de 1876 fue
Ejemplos: sbado
La luna es cuadrada Dice el Presidente:
7 es un nmero primo Todos en este pas son unos
Las araas son mentirosos y esto es
verdad
mamferos
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
Negacin
Si p es una proposicin, Qu sucede con la
entonces no p es la negacin de p, siendo p
negacin de p y se denota verdadero?
por: Qu sucede con la
~p negacin de p, siendo p
Ejemplo: falso?
p: Hoy es martes
~ p: Hoy no es martes
Negacin
Esto lo podemos
escribir de una
manera compacta, Posibilidades para la proposicin p
utilizando una tabla
A esta tabla se le
p ~p
llama tabla de
certeza de la
negacin V F
F V
Negacin
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
Si p y q son Ejemplos:
proposiciones, se llama p: Hoy es martes
conjuncin de p y q a la q: La luna es cuadrada
proposicin compuesta
p y q y se denota por: r: maana es mircoles
pq
p q :Hoy es martes y la
luna es cuadrada
p r :Hoy es martes y
maana es mircoles
Conjuncin
Para construir la tabla p q pq
de p q, debemos
considerar las V V V
diferentes alternativas
de valores de verdad V F F
para p y para q:
Cules son ?
F V F
Ambas verdaderas
una V y la otra F
ambas falsas F F F
Conjuncin
Se toman como sinnimos de la conjuncin:

Adems Tambin
Pero An
Sin embargo A la vez
Aunque No obstante
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.
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.
Disyuncin
Si p y q son p q pq
proposiciones,
se llama V V V
disyuncin de p
y q a la V F V
proposicin
compuesta p o F V V
q y se denota
por: F F F
pq
Disyuncin

p q pq
Ser cantante o futbolista
V V V
p: Ser cantante V F V
q: Ser futbolista F V V
F F F

Simbolizacin:
pq
Condicional
Si p y q son Ejemplos:
proposiciones, se llama Si no llueve (entonces)
condicional de p y q a la iremos a la playa
proposicin compuesta Si me gano la lotera
si p, entonces q y se (entonces) me voy de
denota por: viaje
pq Si no estudio (entonces)
no aprobar Lgica
 Condicional
Veamos la tabla del
condicional: p q pq
pq V V V

V F F
Conviene pensar en una
promesa ..... Si no F V V
llueve (entonces) iremos
a la playa F F V
Condicional
El condicional es falso,
p q pq
slo cuando el
antecedente es verdadero V V V
y el consecuente es falso; V F F
es decir, cuando la F V V
promesa no se cumple. F F V
Condicional
El condicional es muy
importante en
matemticas, porque los
Teoremas se expresan en
forma condicional. p q pq
Un Teorema ser un V V V
condicional verdadero
con hiptesis verdadera
Condicional
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
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
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
Construyamos la tabla de verdad para la siguiente
proposicin :(pq)(p~q)
4 filas de posibilidades

p q ~q pq p~q (pq)(p~q)

V V F V F F
V F V F V F
F V F F V F
F F V F V F
Ejemplo con 3 proposiciones
simples
p q r
V V V
Cuntas V V F
posibilidades
V F V
tendremos?
V F F
F V V
F V F
F F V
F F F
Ejemplo con 3 proposiciones
simples
Hacer la tabla de certeza para: (rp) ~(qp)

p q r rp qp ~(qp) (r p) ~(qp)
V V V V V F F
V V F V V F F
V F V V V F F
V F F V V F F
F V V V V F F
F V F F V F F
F F V V F V V
F F F F F V F
En
Unaresumen
tabla de verdad para proposiciones
compuestas que contienen:
1 proposicin simple tendr 2 filas
2 proposiciones simples 4 = 22 filas
3 proposiciones simples
8 = 23 filas
4 proposiciones simples
16= 24 filas
razonando inductivamente..

n proposiciones simples
2n filas
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
 p q
Partes de un condicional

antecedente consecuente
Condicin Condicin
suficiente necesaria
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
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
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
Formas derivadas
Directo Recproco
p q q p

~p ~q ~q ~p

Contrario Contrarrecproco

recprocos contrarios

contrarrecprocos
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!
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!
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)
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.
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.