Semana 1-Proposiciones Simples y Compuestas
Semana 1-Proposiciones Simples y Compuestas
Semana 1-Proposiciones Simples y Compuestas
Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”
¿Qué es la Lógica?
Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”
G
E Lógica
N Estudia la forma
E Formal
R (Lógica Matemática)
A Lógica Proposicional
L
¿Qué es una Proposición?
• Es toda frase con sentido completo y que
puede ser valorada como verdadera o falsa.
• Una proposición puede identificarse a través de
una variable proposicional (letras minúsculas)
• Oraciones exclamativas, interrogativas o imperativas
por naturaleza no son proposiciones.
Monádicos Negador
Conjuntor
Disyuntor Débil
Diádicos Disyuntor Fuerte
Implicador
Biimplicador
1.- Negador ~
• Cambia el valor de verdad de una proposición
simple.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
~p: Ricardo no juega en el patio
~q: Es falso que Eduardo estudia matemática
2.- Conjuntor ^
• Afirma que las dos proposiciones son
verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
p^q: Ricardo juega en el patio y Eduardo
estudia matemática.
q^p: Eduardo estudia matemática mientras
que Ricardo juega en el patio.
3.- Disyuntor débil v
• Afirma que una o ambas proposiciones pueden
ser verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
pvq: Ricardo juega en el patio o Eduardo
estudia matemática.
qvp: Eduardo estudia matemática a menos
que Ricardo juege en el patio.
4.- Disyuntor fuerte Δ
• Afirma que sólo una de las proposiciones puede
ser verdadera.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
pΔq: O Ricardo juega en el patio o Eduardo
estudia matemática.
rΔs: En el último clásico ganó Alianza
o ganó Universitario
5.- Implicador →
• Indica una relación de causa-efecto.
• La proposición de la izquierda condiciona a la
de la derecha.
• Admite más de un condicionante.
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p→q: Si Eduardo estudia matemática
entonces Eduardo jugará en el patio.
6.- Biimplicador ↔
• Indica una relación de causa-efecto.
• La proposición de la izquierda condiciona a la
de la derecha.
• Sólo admite una y sólo una condicionante.
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p↔q: Eduardo estudia matemática si y solo si
juega en el patio.
Uso de conectivos lógicos
Sean p que representa “Hoy estamos a 80ºF”,
q que representa “Hoy es martes”.
renglones.
Tablas de verdad
V V V
“si p entonces q” : proposición compuesta condicional
V F F
la cual es falsa cuando p es verdadera y q es falsa, y
F V V verdadera en otro caso
F F V
Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.
V
F
Tautología y Contradicción
Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.
V F
F V
Tautología y Contradicción
Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.
V F V
F V V
Tautología y Contradicción
Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.
V F V F
F V V F
Es una tautología
Es una contradicción
Proposiciones equivalentes
V V
V F
F V
F F
Proposiciones equivalentes
V V V
V F V
F V V
F F F
Proposiciones equivalentes
V V V F
V F V F
F V V F
F F F V
Proposiciones equivalentes
V V V F F
V F V F F
F V V F V
F F F V V
Proposiciones equivalentes
V V V F F F
V F V F F V
F V V F V F
F F F V V V
Proposiciones equivalentes
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Proposiciones equivalentes
V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
entonces
Leyes del álgebra de proposiciones
1. Ley de idempotencia
2. Ley de identidad
3. Ley dominante
Prueba: