Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Actividad individual
No. De grupo:
90004_386
Tutora:
LILIANA GARCIA
Objetivo:
Identificar los problemas a seleccionar.
Analizar cada uno de los problemas seleccionados.
Desarrollar los problemas seleccionados.
Aprender cada uno de las leyes en lógica matemáticas.
Tarea 1
Modus Ponendo Ponens, Adjunción y Exportación.
Modus Ponendo Ponens (MPP): 𝑃 ∧ (𝑃 → 𝑄)⇒𝑄
Ley de la Adjunción: si se tiene dos proposiciones, como premisa, la conclusión será las dos
proposiciones unidas con la conjunción.
Simbólicamente:
𝑃1 : 𝑃 , 𝑜, 𝑃
𝑃2 : 𝑄 𝛼
𝐶: 𝑝 ∧ 𝑞 𝑝∧𝑞
Ejemplo:
𝑃1 : 𝑈𝑟𝑖𝑏𝑒 𝑒𝑠𝑡á 𝑙𝑒𝑔𝑎𝑙𝑖𝑧𝑎𝑛𝑑𝑜 𝑎 𝑙𝑜𝑠 𝑝𝑎𝑟𝑎𝑚𝑖𝑙𝑖𝑡𝑎𝑟𝑒𝑠.
𝑃2 : 𝐶𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑒𝑠𝑡á 𝑒𝑛 𝑢𝑛𝑎 𝑒𝑛𝑐𝑟𝑢𝑐𝑖𝑗𝑎𝑑𝑎 𝑡𝑜𝑡𝑎𝑙𝑖𝑡𝑎𝑟𝑖𝑎.
𝐶: 𝑈𝑟𝑖𝑏𝑒 𝑒𝑠𝑡á 𝑙𝑒𝑔𝑎𝑙𝑖𝑧𝑎𝑛𝑑𝑜 𝑎 𝑙𝑜𝑠 𝑝𝑎𝑟𝑎𝑚𝑖𝑙𝑖𝑡𝑎𝑟𝑒𝑠 𝑦 𝐶𝑜𝑙𝑜𝑚𝑏𝑖𝑎 𝑒𝑠𝑡á 𝑒𝑛 𝑢𝑛𝑎 𝑒𝑛𝑐𝑟𝑢𝑐𝑖𝑗𝑎𝑑𝑎
Negación de Premisas:
-P = Si los estudiantes No asisten a los B-Learning
-R = Los estudiantes no aprobarán el curso
Premisas:
Q = Los CIPAS son solicitados por los estudiantes
R = Los estudiantes probaran el curso.
P = Los estudiantes asisten a los B-Learning.
Si Los estudiantes No asisten a los B-Learning y Los CIPAS son solicitados por los
estudiantes, los estudiantes no aprobaran el curso. Los CIPAS son solicitados por los
estudiantes y Los estudiantes probaran el curso. Por lo tanto, los estudiantes asisten a los B-
Learning.
𝑃𝑟𝑒𝑚𝑖𝑠𝑎 1: ¬𝑃 ∧ 𝑄
𝑃𝑟𝑒𝑚𝑖𝑠𝑎 2: → ¬𝑅
𝑃𝑟𝑒𝑚𝑖𝑠𝑎 3: 𝑄 ∧ 𝑅
𝑃𝑟𝑒𝑚𝑖𝑠𝑎 4: → 𝑃
[((−𝑃 ∧ 𝑄) → −𝑅) ∧ (𝑄 ∧ 𝑅)] → 𝑃
Negación de
Unión de las Premisas
Proposiciones Simples Proposiciones Premisas Unión de las Premisas Conclusión
Implicando la Conclusión
Simples
P Q R ¬P ¬R ¬P∧Q →¬R Q∧R [((-P ∧Q)→-R) ∧(Q ∧R)] →P [((-P ∧Q)→-R) ∧(Q ∧R)]→P
V V V F F F V V F V V
V V F F V F V F F V V
V F V F F F V F F V V
V F F F V F V F F V V
F V V V F V F V F F V
F V F V V V V F F V V
F F V V F F V F F V V
F F F V V F V F F V V
Uso del simulador Truth Table
Conclusión:
Gracias a este trabajo, se pudo identificar cada uno de los casos seleccionados, el cual se
debe tener en cuenta los conceptos matemáticos de los temas.
Bibliografía:
Sainz A. Miguel, Humet M. Josep. Lógica y Teoría de Conjuntos. Cuaderno 1. Universidad
de Girona, disponible en: http://www.vc.ehu.es/campus/centros/farmacia/deptos-
f/depme/profesor/gracia/logica.pdf
Inferencia Lógica – Capitulo 2, disponible en:
http://www.fisica.ugto.mx/~msabido/logica/2_a.pdf
Wikipedia. Exportación (lógica), disponible en:
https://es.wikipedia.org/wiki/Exportaci%C3%B3n_(l%C3%B3gica)