PROPOSICIONES LÓGICAS

Y CONJUNTOS
I UNIDAD
 Lógica proposicional
CONTENIDO
• Definición de proposición
• Proposiciones simples y
compuestas
• Conectivos lógicos
• Las tablas de verdad
• Evaluación de esquemas
moleculares
LOGROS DE APRENDIZAJE
• Simboliza proposiciones
simples y compuestas
• Emplea adecuadamente los
conectivos lógicos
• Aplica las tablas de verdad
básicas en la evaluación de los
esquemas moleculares.
Conectivos lógicos y tablas de verdad
 
La Conjunción
• “y”

Ejemplo:
4 es un número par y 6 es un número primo
p q p q

V V
V F
F V
F F
 
La disyunción inclusiva
• “o”
•
Ejemplo:
4 es un número impar o 3 es un número primo

p q p q

V V
V F
F V
F F
 
La disyunción exclusiva
• “O.....o.......”
• “p o q pero no ambos”
•
Ejemplo:
Cesar Vallejo nació en Perú o nació en Francia

p q p q

V V
V F
F V
F F
 
La condicional o implicación
• “Si .......entonces.........”
• “p q ” se lee si p entonces q
Ejemplo:
Si Paty consigue visa de turista, entonces viajará a
Miami

p q p q

V V
V F
F V
F F
 
La condicional o implicación
• “........si y solo si ..........”
• “p q ” se lee “p si solo q”
Ejemplo:
Fernando comprará un automóvil si y solo si
obtiene un préstamo de la cooperativa

p q p q

V V
V F
F V
F F
 FORMALIZACION DE
PROPOSICIONES COMPUESTAS
OBSERVACIONES
FORMALIZA LA SIGUIENTE PROPOSICION

«Si el agua de rio es dulce, entonces es para el

consumo humano o sirve para regar los sembríos de
tomate»
FORMALIZA LA SIGUIENTE PROPOSICIÓN

«Si la neblina aumenta, la visibilidad

disminuye; y si disminuye la visibilidad ,
ocurren accidentes en la carretera»
Es falso que la lógica sea difícil
Vinieron, pero llegaron tarde
Solo si realizo las tareas y participo, aprobare el curso de matemática.
Si eres puntual, iremos juntos;
pero si llegas tarde, iré con Ana.
El dinero es importante, pero la
sabiduría lo es mas.
O somos novios o amigos
Resuelve:
Como parte del juicio que se sigue a un sospechoso, el abogado dice:

«Si Pedro estuvo en el lugar de lo hechos,

entonces es el responsable directo o es el
cómplice de lo sucedido ».
¿Cómo puedo evaluar una formula lógica?
• Utilizando tablas de verdad
• Tablas de verdad, son esquemas que nos
ayudan a determinar si un razonamiento es
valido o no lo es
• Constituyen un procedimiento de decisión que
en numero finito de pasos nos dice si una
formula es tautológica ( universalmente valida)
contradictoria (Falsa en todas sus ocurrencias)
o contingente (no es ni universalmente verdadera,
ni universalmente falsa)