LOGICA MATEMATICA
PROPISICIONES Y TABLAS DE VERDAD
AUTOR: LICETH ALBADAN MARTINEZ
Ejercicio 1: Proposiciones y tablas de verdad
B.
p: La casa de papel es la mejor serie de Netflix
q: Stranger Things es una serie de Netflix
r: La casa de papel es una de las series más vistas del mundo
(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)
D.
p: La Ingeniería Industrial tiene aplicaciones en la ciencia
q: La ingeniería Industrial tiene variedad de campos de acción
r: La Ingeniería Industrial sólo se ocupa de la optimización del uso de recursos
humanos
(𝑝 ↔ 𝑞) ∨ (𝑞 → ∼ 𝑟)
, Ejercicio 2: Identificación de las reglas de la inferencia lógica
A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.
b. expresión simbólica
Ley de simplificación
P: Juan es cocinero
Q: Pedro no es policía
𝑝˄~𝑞: Juan es cocinero y pedro no es policía
P: Juan es cocinero
𝒑˄~𝒒
𝒑
Modus Tollendo Tollens
𝑠 → 𝑡: Si llueve entonces las calles se mojan
~𝑡: Luego no llueve
~𝑠: No se moja la calle
𝒔→𝒕
~𝒕
~𝒔
PROPISICIONES Y TABLAS DE VERDAD
AUTOR: LICETH ALBADAN MARTINEZ
Ejercicio 1: Proposiciones y tablas de verdad
B.
p: La casa de papel es la mejor serie de Netflix
q: Stranger Things es una serie de Netflix
r: La casa de papel es una de las series más vistas del mundo
(𝑝 ∨ 𝑞) → (∼ 𝑞 ∧ 𝑟)
D.
p: La Ingeniería Industrial tiene aplicaciones en la ciencia
q: La ingeniería Industrial tiene variedad de campos de acción
r: La Ingeniería Industrial sólo se ocupa de la optimización del uso de recursos
humanos
(𝑝 ↔ 𝑞) ∨ (𝑞 → ∼ 𝑟)
, Ejercicio 2: Identificación de las reglas de la inferencia lógica
A continuación, encuentra el lenguaje simbólico de expresiones que
representan algunas leyes de inferencia.
b. expresión simbólica
Ley de simplificación
P: Juan es cocinero
Q: Pedro no es policía
𝑝˄~𝑞: Juan es cocinero y pedro no es policía
P: Juan es cocinero
𝒑˄~𝒒
𝒑
Modus Tollendo Tollens
𝑠 → 𝑡: Si llueve entonces las calles se mojan
~𝑡: Luego no llueve
~𝑠: No se moja la calle
𝒔→𝒕
~𝒕
~𝒔
