A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 3:
b. Expresión simbólica:
[(¬p→q)∧(q→¬r)∧(¬r→s)∧(¬p)∧(¬s∨e)]→r
Premisas:
P1: ¬p→q
P2: q→¬r
P3: ¬r→s
P4: ¬p
P5: ¬s∨r
Conclusión: r
A partir de la expresión simbólica seleccionada, el estudiante deberá:
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,
Respuestas a la pregunta
Un argumento corresponde a aquella secuencia de enunciados, en donde el último corresponde a la conclusión y los demás constituyen la premisa. Así, en el enunciado:
Proposiciones simples:
p: todos los colombianos votaran por el futuro de Colombia.
q: algunos colombianos no votaran por el futuro de Colombia.
r: las elecciones se definirán en una primera vuelta
s: las elecciones se definirán en una segunda vuelta
P1: ¬p→q : no todos los colombianos votaran por el futuro de Colombia entonces algunos colombianos no votaran por el futuro de Colombia
P2: q→¬r : Si algunos colombianos no votaran por el futuro de Colombia entonces las elecciones no se definirán en una primera vuelta
P3: ¬r→s Si las elecciones no se definirán en una primera vuelta entonces las elecciones se definirán en una segunda vuelta
P4: ¬p : No todos los colombianos votaran por el futuro de Colombia.
P5: ¬s∨r: Si las elecciones no se definirán en una segunda vuelta o en una primera vuelta
Expresión simbólica:
[(¬p→q)∧(q→¬r)∧(¬r→s)∧(¬p)∧(¬s∨e)]→r