Loading documents preview...
REMPLAZAR LAS VARIABLES EXPRESADAS SIMBÓLICAMENTE Y LLEVARLAS AL LENGUAJE NATURAL. a. Expresión simbólica: [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)⋀(¬𝑟)] → (¬𝑝) Premisas: P1: 𝑝 → 𝑞 P2: 𝑞 → 𝑟 P3: ¬𝑟 Conclusión: ¬P P Q R
Los compañeros de la UNAD son de diferentes regiones Los tutores de la UNAD son de diferentes edades Todos interactuamos unidos
P1: 𝑝 → 𝑞 P1: Los compañeros de la UNAD son de diferentes regiones ENTONCES Los tutores de la UNAD son de diferentes edades P2: 𝑞 → 𝑟 P2: Los tutores de la UNAD son de diferentes edades ENTONCES Todos interactuamos unidos P3: ¬𝑟 P3: NO Todos interactuamos unidos Conclusión: ¬P Conclusión: Los compañeros de la UNAD son de diferentes regiones b. Expresión simbólica: [(𝑝 ∨ 𝑞) ∧ (𝑝 → 𝑟) ∧ (𝑞 → 𝑠)⋀(¬𝑟)] → 𝑠 Premisas: P1: 𝑝 ∨ 𝑞 P2: 𝑝 → 𝑟 P3: 𝑞 → 𝑠 P4: ¬𝑟 Conclusión: S P Q R S
Logica Matematica tiene 2 creditos Tambien Sociologia tiene 2 creditos La UNAD maneja diferentes creditos Tienen distintos precios
P1: 𝑝 ∨ 𝑞 P1: Logica Matematica tiene 2 creditos O Tambien Sociologia tiene 2 creditos P2: 𝑝 → 𝑟 P2: Logica Matematica tiene 2 creditos ENTONCES La UNAD maneja diferentes creditos P3: 𝑞 → 𝑠 P3: Tambien Sociologia tiene 2 creditos ENTONCES Tienen distintos precios P4: ¬𝑟 P4: NO La UNAD maneja diferentes creditos Conclusión: S Conclusión: Tienen distintos precios
c. Expresión simbólica: [(𝑝 → 𝑠) ∧ (𝑞 → 𝑟) ∧ (𝑝 ∧ 𝑞)] ⟶ (𝑠 ∧ 𝑟) Premisas: P1: 𝑝 → 𝑠 P2: 𝑞 → 𝑟 P3: 𝑝 ∧ 𝑞 Conclusión: 𝑠 ∧ r P Q R S
Se pasa los cursos de la UNAD con 300 puntos Con 500 pierde el curso La UNAD maneja plazos indicados Los profesores califican diferentes cursos
P1: 𝑝 → 𝑠 P1: Se pasa los cursos de la UNAD con 300 puntos ENTONCES Los profesores califican diferentes cursos P2: 𝑞 → 𝑟 P2: Con 500 pierde el curso ENTONCES La UNAD maneja plazos indicados P3: 𝑝 ∧ 𝑞 P3: Se pasa los cursos de la UNAD con 300 puntos Y Con 500 pierde el curso Conclusión: 𝑠 ∧ r Conclusión: Los profesores califican diferentes cursos Y La UNAD maneja plazos indicados d. Expresión simbólica: {[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔) Premisas: P1: (𝑝 → 𝑞) ∨ 𝑟 P2: 𝑟 →∼ 𝑝 P3: 𝑝 ∧ 𝑠 Conclusión: 𝑞 ∧ s P Q R S
Brandon es el director de epistemologia Benito es el tutor de epistemologia Geraldine es la estudiante de epistemologia Todos pertenecen a la UNAD
P1: (𝑝 → 𝑞) ∨ 𝑟 P1: Brandon es el director de epistemologia ENTONCES Benito es el tutor O Geraldine de epistemologia es la estudiante P2: 𝑟 →∼ 𝑝 P2: Geraldine es la estudiante de epistemologia ENTONCES NO Brandon es el director de epistemologia P3: 𝑝 ∧ 𝑠 P3: Brandon es el director de epistemologia Y Todos pertenecen a la UNAD Conclusión: 𝑞 ∧ s Conclusión: Benito es el tutor de epistemologia Y Todos pertenecen a la UNAD e. Expresión simbólica: [(𝑝 → 𝑞)⋀(𝑞 → 𝑟)⋀(𝑝 ∧ 𝑠)] → (𝑟)
Premisas: P1: 𝑝 → 𝑞 P2: 𝑞 → 𝑟 P3: 𝑝 ∧ 𝑠 Conclusión: 𝒓 P La UNAD tiene muchos beneficios Q Descuentos en UNAD para Tutores y Estudiantes R Los estudiantes prefieren la UNAD que otras Universidades S Los padres de los estudiantes deciden la UNAD P1: 𝑝 → 𝑞 P1: La UNAD tiene muchos beneficios ENTONCES Descuentos en UNAD para Tutores y Estudiantes P2: 𝑞 → 𝑟 P2: Descuentos en UNAD para Tutores y Estudiantes ENTONCES Los estudiantes prefieren la UNAD que otras Universidades P3: 𝑝 ∧ 𝑠 P3: La UNAD tiene muchos beneficios Y Los padres de los estudiantes deciden la UNAD Conclusión: 𝒓 Conclusión: Los estudiantes prefieren la UNAD que otras Universidades
Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico