Documentos de Académico
Documentos de Profesional
Documentos de Cultura
M I
P
Para la realización de este punto es necesario empezar por
las intersecciones, luego 3 4 0 por las uniones y luego se
determina cada valor de cada conjunto.
2
3 5
1
D. Expresión simbólica:
Premisas:
P1: 𝑝 → 𝑞 Conclusión: ¬p
P2: 𝑞 → 𝑟
P3: ¬𝑟
P4: ¬ q TT 2y3 𝑞 → 𝑟
¬𝑟______
¬q
P5: TT 1y4 𝑝→𝑞
¬ q ______
¬p
• Generar una tabla de verdad con el simulador Lógica UNAD 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 Aprendizaje Práctico,
así como el link de acceso al recurso)
• Generar una tabla de verdad manualmente a partir del lenguaje simbólico
(En Word, Excel o foto del desarrollo manual).
p q r ¬r ¬p (p →q) (q →r) [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝)
V V V F F V V V
V V F V F V F V
V F V F F F V V
V F F V F F F V
F V V F V V V V
F V F V V V F V
F F V F V V V V
F f F V V V V V
tautologia
[(𝑝 → 𝑞) ∧ (𝑞 → 𝑟) ∧ (¬𝑟)] → (¬𝑝)