Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Presentado Por:
Presentado a:
Johanna Vargas
(200611A_612)
14 de junio de 2019
–UNAD- donde todos respondieron, reveló que 450 matricularon el curso de PLM; 260
matricularon el curso de Algebra Lineal; 360 matricularon el curso de Calculo Diferencial; 200
matricularon PLM y Algebra Lineal; 250 matricularon PLM y Calculo Diferencial; 150
matricularon Algebra Lineal y Calculo Diferencia y 100 matricularon PLM, Algebra Lineal y
Calculo Diferencial.
Calcular:
Expresión simbólica:
{[𝑝 → (𝑞 ∨ 𝑟)] ∧ (𝑠 →∼ 𝑞) ∧ (𝑡 →∼ 𝑟) ∧ (𝑝 ∧ 𝑡)} → 𝑞
Premisas:
P1: 𝑝→(𝑞∨𝑟)
P2: 𝑠→∼𝑞
P3: 𝑡→∼𝑟
P4: 𝑝∧𝑡
Conclusión: 𝑞
Desarrollo:
Conclusión: 𝑞
P5: p aplicando simplificación en P4
P6: t aplicando ley de simplificación en P4
P7: ∼𝑟 aplicando MPP en P3, P6
P8: q∨𝑟 aplicando MPP en P1, P5