Tarea 1: Proposiciones y tablas de verdad
Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su
escogencia en el foro, de tal forma que no coincida con los compañeros.
Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples
bajo una descripción basada en el contexto académico, remplazando las variables
expresadas simbólicamente para llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:
Definición de las proposiciones simples
Lenguaje natural de la expresión formal
Generar la tabla de verdad manualmente y a través del simulador Truth Table.
Comprobar el resultado de la tabla de verdad manual versus simulador Truth
Table.
Definir si el argumento es una Tautología, contradicción o contingencia
C.
{
[
p →
(
q∨r
)
]
∧
(
s →∼q
)
∧
(
t → ∼r
)
∧
(
p∧t
)
}
→ q
Si voy a la universidad entonces recibo clases de matemáticas de contabilidad si tengo
clases de estadística no tengo clases de matemáticas. Si tengo libre la primera hora no
tengo contabilidad. Voy a la universidad y tengo libre la primera hora por lo tanto;
tengo clases de matemáticas.
p: voy a la universidad.
q: recibo clases de matemáticas.
r: recibo clases de contabilidad.
s: recibo clases de estadística.
t: tengo libre la primera hora.
