Tautologias

LOGICA MATEMATICA
EJERCICIO DE SILOGISMO MATEMATICO
AUTOR: LICETH ALBADAN
Definir las proposiciones simples, tendrá la libertad de definirla bajo una
descripción basada en un contexto, el que se solicita es un contexto académico


P: Juan matriculo lógica matemática

Q: Juan es bueno en lógica matemática

R: Juan estudia en la UNAD

S: Juan pasó lógica matemática

{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)
Juan matriculo lógica matemática entonces juan es bueno en lógica matemática o
juan estudia en la UNAD. Juan estudia en la UNAD entonces juan no es bueno en
matemáticas. Juan matriculo lógica matemática y juan paso lógica matemática.
Por lo tanto, juan es bueno en lógica matemática y juan es bueno en matemática .
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).
{[(𝒑 → 𝒒) ∨ 𝒓] ∧ (𝒓 →∼ 𝒑) ∧ (𝒑 ∧ 𝒔)} ⟶ (𝒒 ∧ 𝒔)