LOGO

Lógica Proposicional
CONTENIDO

 Proposiciones Simples
 Conectivos y proposiciones compuestas.
 Tablas de verdad
 Construcción de tablas de verdad para
proposiciones compuestas
 Formas derivadas del condicional
 Simbolización
 Proposición
 Es un enunciado al ¿Son proposiciones?
cual se le puede asociar
el concepto de
 ¿Qué hora es?
verdadero o falso,  Por favor, cierre la
pero no ambos. puerta
Ejemplos:
 Qué linda mañana!
 X+2=8
 La luna es cuadrada
 No son proposiciones,
 7 es un número primo ya que no poseen valor
 Las arañas son de verdad
mamíferos
Proposición

 Las proposiciones se denotan por letras

minúsculas

 Ejemplo:
p: 2 es un número dígito

q: 8 es par.
Negación
 Si p es una  ¿Qué sucede con
proposición, la negación de p,
entonces “no p” es siendo p
la negación de p y verdadero?
se denota por:
 ¿Qué sucede con
~p la negación de p,
Ejemplo: siendo p falso?
p: Hoy es martes
~ p: Hoy no es martes
Negación

 Esto lo podemos
escribir de una
manera Posibilidades para la proposición p
“compacta”,
utilizando una p ~p
tabla
 A esta tabla se le V F
llama “tabla de
certeza de la F V
negación”
Negación

Como sinónimos de no, se

utilizan las siguientes expresiones:

No es cierto que ……..

No es el caso que………
Es falso que…………
No sucede que…………….
Proposiciones compuestas
Conectivos

 Conocido el valor de verdad de ciertas

proposiciones, la lógica establece el valor
de verdad de otras relacionadas con éstas.
 A éstas últimas se les conoce como
proposiciones compuestas
 La Proposición Compuesta esta formada
por dos o más proposiciones simples,
unidas estas por conectivos lógicos.
 Universidad Metropolitana
Enseñando el camino

 Conectivos lógicos:
 Y se simboliza: 
 O Se simboliza: V
 Si… entonces … Se simboliza: 
 …sí y sólo si … se simboliza:
 Universidad Metropolitana
Conjunción Enseñando el camino

 Si p y q son  Ejemplos:
proposiciones, se p: Hoy es martes
llama conjunción q: La luna es cuadrada
de p y q a la r: mañana es miércoles
proposición
compuesta “p y q
p  q :Hoy es martes y
“ y se denota por: la luna es cuadrada
pq p  r :Hoy es martes y
mañana es miércoles
 Universidad Metropolitana
Conjunción Enseñando el camino

 Para construir la p q pq

tabla de p  q,
debemos considerar V V V
las diferentes
alternativas de V F F
valores de verdad
para p y para q: F V F
 ¿Cuáles son ?
 Ambas verdaderas F F F
 una V y la otra F
 ambas falsas
Conjunción
Se toman como “sinónimos” de la
conjunción:

 Además  También
 Pero  Aún
 Sin embargo  A la vez
 Aunque  No obstante
Conjunción: p ^ q

 Luís estudia ,además de trabajar

 Luís estudió pero no aprobó
 Luís canta, sin embargo no baila
 Luís jugó futbol aunque estaba lesionado
 Luís juega futbol , también José
 Luís salió, aún no llega
 Luís cocina a la vez que canta
 Luís viajará no obstante esté sin visa
 Luís canta , no baila.
 Universidad Metropolitana
Conjunción: p ^ q Enseñando el camino

No siempre “y” denota una conjunción ………

Ejemplo:

 Silvia y Nelly son hermanas

Esta es una proposición (simple), en donde el

“y” permite establecer la relación entre los
sujetos.
 Universidad Metropolitana
Disyunción Enseñando el camino

 Si p y q son p q pq
proposiciones, V V V
se llama
disyunción de p V F V
y q a la
proposición F V V
compuesta “p
o q” y se F F F
denota por:
pq
Disyunción

p q pq
 Seré cantante o V V V
futbolista
V F V
 p: Seré cantante F V V
 q: Seré futbolista F F F

Simbolización:
pq
Condicional

 Si p y q son  Ejemplos:
proposiciones, se  Si no llueve
llama condicional (entonces) iremos a la
de p y q a la playa
proposición  Si me gano la lotería
compuesta “si p, (entonces) me voy de
entonces q” y se viaje
denota por:  Si no estudio
(entonces) no
pq aprobaré Lógica
 Condicional
 Veamos la tabla
p q pq
del condicional:
pq V V V

V F F
 Conviene pensar en
una “promesa” ..... Si F V V
no llueve (entonces)
iremos a la playa F F V
Condicional

 El condicional es p q pq
falso, sólo cuando el V V V
antecedente es V F F
verdadero y el F V V
consecuente es F F V
falso; es decir,
cuando la “promesa”
no se cumple.
Condicional

 El condicional es muy
importante en
matemáticas, porque
los Teoremas se
p q pq
expresan en forma
condicional. V V V
 Un Teorema será un
condicional verdadero
con hipótesis verdadera
Condicional
Algunas expresiones del lenguaje que indican la
presencia de un condicional (p → q), son las
siguientes:
p es condición suficiente para q
Si p, q
q si p
Que p supone que q
Cuando p, q
q es condición necesaria para p
En caso de que p entonces q
q sólo si p
Condicional y Teoremas

 En los Teoremas, al antecedente del

condicional (p) se le llama Hipótesis y al
consecuente (q) se le llama Tesis o
Conclusión
 Los Teoremas requieren de una
demostración; es decir, partiendo de una
hipótesis verdadera, hay que demostrar
que la Conclusión es verdadera.
 Bicondicional
 Veamos la tabla
p q p q
del condicional:
p q V V V

 Es verdadera cuando V F F
ambas proposiciones
simples son F V F
verdaderas o son
F F V
falsas.
Tablas de verdad

 Recordemos que el valor de certeza de una

proposición compuesta depende de los valores
de certeza de las proposiciones simples que la
componen
 Para analizar los valores de certeza de una
proposición 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 proposición :(pq)(p~q)
 4 filas de posibilidades
p q ~q pq p~q (pq)(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
V V F
 ¿Cuántas V F V
posibilidades V F F
tendremos? F V V
F V F
F F V
F F F
Ejemplo con 3
proposiciones simples

Hacer la tabla de certeza para: (rp)  ~(qp)

p q r rp qp ~(qp) (r  p)  ~(qp)
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 resumen
 Una tabla de verdad para proposiciones
compuestas que contienen:
 1 proposición 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
Partes de un condicional

p q

antecedente consecuente
Condición Condición
suficiente necesaria
Formas derivadas del Universidad Metropolitana
condicional Enseñando el camino

 Dado el condicional directo: p q, el

condicional ~ p  ~q se llama contrario y lo
expresaríamos: “ 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 recíproco y lo expresaríamos:
“ si q, entonces p”
 Directo: p q
Si repruebo el examen, entonces me enojaré
bastante
 Recíproco: 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 contrarrecíproco y lo
expresaríamos: “ si no q, entonces no p”
 Directo: p q
Si repruebo el examen, entonces me enojaré
bastante
 Contrarrecíproco: ~ q  ~p
Si no me enojo bastante, entonces no repruebo
el examen
Formas derivadas

Directo Recíproco
p q
q p

~p ~ ~q ~
q
Contrario p
Contrarrecíproco
recíprocos contrarios
contrarrecíprocos
Ejemplo
 Hallar las formas derivadas del siguiente
condicional:
 Si un número es par, entonces es múltiplo
de 4. ……………………………………. ¿V o F?
Falso (contraejemplo: 2)
Recíproco:
 Si un número es múltiplo de 4 entonces
es par. …………………………………..¿V o F?
Verdadero!
Ejemplo

 Directo: p q
Si un número es par, entonces es
múltiplo de 4.
Contrario: ~ p  ~ q
 Si un número no es par, entonces no
es múltiplo de 4
Verdadero!
Ejemplo

 Directo: p q
Si un número es par, entonces es
múltiplo de 4.
Contrarrecíproco: ~ q  ~ p
 Si un número no es múltiplo de 4,
entonces no es par
 Falso….. 2 no es múltiplo 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 proposición verdadera
que incluya un condicional, una
conjunción, una disyunción y una
negación (no necesariamente en ese
orden), que conste de las componentes
p, q y r con todas ellas falsas.