Académique Documents
Professionnel Documents
Culture Documents
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
Escriba la proposición compuesta propuesta en lenguaje natural.
Sumar 3+4 es igual a 7 y sumar 4+3 es igual a 7 entonces la suma de los números
naturales es conmutativa
Determinar el valor de verdad de las proposiciones simples.
Verdadero
Determinar el valor de verdad de la proposición compuesta.
(q ∧ r) ⟶ p
(v ∧ v) ⟶ v
v⟶v
v
Ejercicio 2:
A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
Definir las proposiciones simples del argumento.
r: Buena ortografía.
(𝑝 ↔ 𝑞) ∧ 𝑟
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.
1 2 3 4 5
P q r (p ↔ q) (p ↔ q) ∧ r
1 V V V V V
2 V V F V F
3 V F F F F
4 V F V F F
5 F V F F F
6 F V V F F
7 F F V V V
8 F F F V F
Teniendo el diagrama de venn de la letra seleccionada, el estudiante deberá dar respuesta a los
siguientes ítems:
Con los datos dados en el diagrama de ven escogido, plantee con sus propias palabras,
un ejercicio típico de aplicación de teoría de conjuntos, formulando los interrogantes
correspondientes a las operaciones entre conjuntos dadas a continuación y dar las
respectivas respuestas:
𝐴 ∪ 𝐵=46
𝐴 ∆ 𝐶=26
(𝐵 ∩ 𝐶) − 𝐴=4
𝐴 ∩ 𝐵 ∩ 𝐶=6
Conclusiones:
Con el desarrollo de este trabajo se logró cumplir con los objetivos antes mencionados,
resolviendo los ejercicios permitiendo practicar para poder analizar e interpretar a futuro
temas desde la lógica matemática.
La presente actividad contribuyó en fortalecer y aprender conceptos básicos y prácticos de la
unidad de estudio, asimismo, el simulador Truth Table aportó facilidades para la verificación
de los ejercicios de la tabla de la verdad.