Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes
ítems:
Definir las proposiciones simples del argumento.
Definir la expresión del argumento en lenguaje simbólico o formal.
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 y
determinar si el resultado es una tautología, contingencia o contradicción.
Condiciones de entrega:
Nombre el archivo de su aporte de la siguiente manera: ejercicio 2 unidad
1_nombre del estudiante
Presentar el desarrollo de los ítems en un documento en Word en el foro de la
tarea que se encuentra en el entorno de aprendizaje colaborativo
Nota
En el anexo 1, se establece un ejemplo modelo a seguir para dar respuesta a los ítems
planteados.
(¬ p ⌄ q)¿)
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 y
determinar si el resultado es una tautología, contingencia o contradicción.
16
8V 8F ------------------------------p
4V 4F 4V 4F----------------------q
2V 2F 2V 2F 2V 2F 2V 2F -----------------r
V F V F V F V F V F V F V F V F---------------s
(¬ p ⌄ q)¿)
p q r s ¬p ¬ p⌄q ¬s r →¬ s (¬ p ⌄ q)¿)
V V V V F V F F F
V V V F F V V V V
V V F V F V F V V
V V F F F V V V V
V F V V F F F F F
V F V F F F V V F
V F F V F F F V F
V F F F F F V V F
F V V V V V F F F
F V V F V V V V V
F V F V V V F V V
F V F F V V V V V
F F V V V V F F F
F F V F V V V V V
F F F V V V F V V
F F F F V V V V V