Lógica

Proposicional
Leyes Lógicas
DOCENTE: JOSE LUIS FARRO QUESQUEN
CURSO: MATEMÁTICA BÁSICA
TEMA: LEYES LOGICAS
INTEGRANTES:
 OLANO INGA EDWIN
 PEREZ VISLAO CELENY
 QUISPE SANTILLAN TELMO JOSÈ
 ROCA ALVARADO ZARELLI
 REYES RIVERO EDWIN JHONATAN
CICLO: I
FACULTAD: INGENIERIA CIVIL Y AMBIENTAL
ESCUELA PROFESIONAL: INGENIERIA CIVIL
Introducción
 PRINCIPALES LEYES LÓGICAS

 Ley de la doble negación:  Ley de la distribución:  Ley de absorción:

~ ~𝑝 ≡ 𝑝 𝑝∧ 𝑞 ∧𝑠 ≡ 𝑝 ∧𝑞 ∨ 𝑝 ∧𝑠 𝑝 ∧ 𝑝 ∨𝑞 ≡𝑝
𝑝∨ 𝑞∨𝑠 ≡ 𝑝∨ 𝑞 ∨ 𝑝∨ 𝑞 ~𝑝 ∧ 𝑝 ∨ 𝑞 ≡ ~ 𝑝 ∨ 𝑞
 Ley de la idempotencia: 𝑝∨ 𝑞∨𝑠 ≡ 𝑝∨ 𝑞 ∨ 𝑝∨ 𝑞
𝑝 ∧𝑝∧𝑝∧𝑝∧𝑝≡𝑝
𝑝∨𝑝∨𝑝∨𝑝∨𝑝≡𝑝  Ley de Morgan:
𝑝 ∧ 𝑞 ≡ ~ ~𝑝 ∨ 𝑞
 Ley de la conmutatividad: 𝑝 ∨ 𝑞 ≡ ~ ~𝑝 ∧ 𝑞
𝑝 ∧𝑞 ≡𝑞 ∧𝑝  Ley de la condicional:
𝑝 ∨𝑞 ≡𝑞 ∨𝑝 𝑝 →𝑞 ≡ ~𝑝∨𝑞
𝑝 ↔𝑞≡𝑞↔𝑝 ~𝑝 → ~𝑞 ≡ 𝑝 ∨ ~𝑞
 Ley de asociación  Ley de la bicondicional:
𝑝∧ 𝑞 ∧𝑠 ≡ 𝑝 ∧𝑞 ∧𝑠 𝑝 ↔𝑞 ≡ 𝑝 →𝑞 ∧ 𝑞 →𝑝
𝑝∨ 𝑞∨𝑠 ≡ 𝑝∨ 𝑞 ∨ 𝑠
𝑝 ↔ 𝑞↔𝑠 ≡ 𝑝↔𝑞 ↔𝑠
 Problemas Contextualizados
 Formalizar las siguientes expresiones lógicas y luego reducirlas a su mínimo equivalente, utilizando las
leyes lógicas.

 No se construirá la escuela a menos que se contrate un ingeniero civil, por tanto, para construir la
escuela es necesario la contratación de un ingeniero civil.
•Se construirá la escuela: p
•Se contratará un ingeniero civil: q
~𝑝 → 𝑞 → 𝑝 → 𝑞 ~𝒑 → 𝒒 → 𝒑 → 𝒒

𝑝 ∨𝑞 → ~𝑝 ∨𝑞

~ 𝑝 ∨𝑞 ∨ ~𝑝 ∨𝑞

~ 𝑝 ∧ ~𝑞 ∨ ~ 𝑝 ∨ 𝑞

~𝑝 ∨ ~𝑝 ∧ ~𝑞 ∨ 𝑞 ∨ ~𝑝 ∧ ~𝑞

~𝑝 ∨ 𝑞 ∨ ~𝑝

~𝑝 ∨ 𝑞
Los obreros realizan bien la construcción de la obra si, el Ingeniero Civil hace bien su trabajo
excepto que tengan problemas con la construcción de la obra si y solo si los obreros realizan
bien la construcción de la obra entonces el Ingeniero Civil hace bien su trabajo o los obreros
realizan bien la construcción de la obra a no ser que tengan problemas con la construcción de
la obra.
• Los obreros realizan bien la construcción de la obra: p
• El Ingeniero Civil hace bien su trabajo: q 𝒑→ 𝒒 ∨𝒓 ↔ 𝒑 →𝒒 ∨ 𝒑 →𝒓
• Tengan problemas con la construcción de la obra:r

𝑝→ 𝑞 ∨r ↔ 𝑝 →𝑞 ∨ 𝑝 →𝑟

~𝑝 ∨ 𝑞 ∨ r ↔ ~𝑝 ∨ q ∨ ~𝑝 ∨ r

~𝑝 ∨ q ∨ r ↔ ~𝑝 ∨ q ∨ ~p ∨ r

~𝑝 ∨ q ∨ r ↔ ~𝑝 ∨ ~𝑝 ∨ q ∨ r

~𝑝 ∨ q ∨ r ↔ ~𝑝 ∨q ∨r

𝑉 ↔ 𝑉

𝑉
 Si no se lleva acabo el contrato, entonces no hay construcción del estadio, pero si se
lleva acabo el contrato. Por tanto se construirá el estadio.
• Si se lleva a cabo el contrato: p
• Hay construcción del estadio: q
~𝒑 → ~𝒒 ∧ 𝒑 → 𝒒

~𝑝 → ~𝑞 ∧ 𝑝 → 𝑞

𝑝 ∨ ~𝑞 ∧ 𝑝 → 𝑞

𝑝→𝑞

~ 𝑝 ∨𝑞

𝑝 ∨𝑞
 Juan no realizara un proyecto mal construido, si y solo si cuenta con un
personal especializado y maquinaria pesada.
• Juan realiza un proyecto mal construido: p
• Juan cuenta con un personal especializado: q ~𝒑 ↔ 𝒒 ∧ 𝒓
• Juan cuenta con maquinaria apropiada: r
~𝑝 ↔ 𝑞 ∧ 𝑟

~𝑝 → 𝑞 ∧ 𝑟 ∧ 𝑞 ∧ 𝑟 ∨ ~𝑝

𝑝 ∨ 𝑞∧𝑟 ∧ ~ 𝑞 ∧ 𝑟 ∨ ~𝑝

𝑝 ∨𝑞 ∧ 𝑝∨𝑟 ∧ ~ 𝑞 ∨ ~𝑟 ∨ ~𝑝

𝑝 ∨𝑞 ∧ 𝑝∨𝑟 ∧ ~ 𝑝 ∨ ~𝑞 ∨ ~𝑟

𝑝 ∨ ~ ~𝑞 ∨ 𝑟 ∧ ~𝑞 ∨ ~𝑟 ∨ ~𝑝

~𝑞 ∨ ~𝑟 ∧ 𝑝 ∨ ~𝑝

~𝑞 ∨ ~𝑟 ∨ ~𝑝 ∧ 𝑝 ∨ ~𝑝

~ 𝑞 ∨ ~𝑟 ∨ ~𝑝 ∧ 𝑇

~ 𝑞 ∨ ~𝑟 ∨ ~𝑝

~ (𝑞 ∧ 𝑟 ∧ 𝑝)
 Si Matías no es ingeniero y no es cierto que Edgar sea profesor, porque David es
médico.
• Edgar es profesor: p
• Matías es ingeniero: q
• David es médico: r

𝑟 → ~𝑞 ∧ ~𝑝
Conclusiones