Академический Документы
Профессиональный Документы
Культура Документы
c) Expresión simbólica:
[(p ∨ q) ∧ (p → r) ∧ (q → r) ∧ (¬p → ¬r)] ⟶ p
Premisas:
P1: p ∨ q
P2: p → r
P3: q → r
P4: ¬p → ¬r
Conclusión: p
Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico (El estudiante encontrará la Guía para el uso de
recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaj Práctico, así como el link de acceso al recurso).
Expresión simbólica:
[(p ∨ q) ∧ (p → r) ∧ (q → r) ∧ (¬p → ¬r)] ⟶ p
Premisas:
P1: p ∨ q
P2: p → r
P3: q → r
P4: ¬p → ¬r
______________
5. r v r Dilema constructivo P1, P2, P3
6. r Por 5
7. ¬¬r → ¬¬p Contrapositivo P4
8. r → p Doble negación en 7.
9. p Modus Ponens en 6. y 8.