Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Nombre Completo:
Héctor Arley Bautista Silva
TALLER
Unidad 3: Tarea 3 - Clasificación de proposiciones categóricas y Métodos para
probar validez de argumentos
Tutor
DARWIN WILLIAM BARROS
Neiva-(Huila)
20/01/2020
Ejercicio 1: Proposiciones categóricas
C).
p: Todos los tutores son magister.
q: Algunos tutores no son magister.
ESTRUCTURA
ESTRUCTURA
B. Todos los estudiantes de la UNAD utilizan los medios digitales para estudiar.
Mariana es estudiante de la UNAD. Mariana seguramente utiliza los medios
digitales para estudiar
Desarrollo
Premisas:
P1: 𝑟 → ¬𝑞
P2: 𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
Conclusión ¬𝑟
p q r s ¬𝐪 ¬𝐫 (𝐫 → ¬𝐪) ∧ (𝐩 ∨ 𝐬) ∧ (q∧p)] → ¬𝐫
V V V V F V F F V F V V F
V V V F F V F F V F V V F
V V F V F F V V V V V V V
V V F F F F V V V V V V V
V F V V V V V V V F F V F
V F V F V V V V V F F V F
V F F V V F V V V F F V V
V F F F V F V V V F F V V
F V V V F V F V V F F V F
F V V F F V F F F F F V F
F V F V F F V V V F F V V
F V F F F F V F F F F V V
F F V V V V V V V F F V F
F F V F V V V F F F F V F
F F F V V F V V V F F V V
F F F F V F V V F F F V V
Tabla de verdad con simulador lógica UNAD:
Tabla De Resulatdo
p q r s [(𝐫 → ¬𝐪) ∧ (𝐩 ∨ 𝐬) ∧ (𝐪 ∧ 𝐩)] → ¬𝐫
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
Premisas:
P1: r→¬q
P2: p ∨ s
P3: q ∧ p
Conclusión: ¬r
P4: q S. en 3
P5: r MP en 1 y 4
P6: p S. en 3
P7: ¬s MTP en 2 y 6
P8: ¬s v r aditiva en 5 y 7
P9: s → r ley condicional en 8