Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ingeniería de Sistemas
Lógica Matemática
Tutor
Grupo 129
Febrero de 2019
Bogotá
Introducción
Ejercicio 1: Proposiciones
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
1. Escriba la proposición compuesta propuesta en lenguaje natural.
(q∧r)→p
Si Sumar 3+4 es igual 7 y sumar 4+3 es igual a 7, entonces la suma de los números
naturales es conmutativa.
2. Determinar el valor de verdad de las proposiciones simples.
p: la suma de los números naturales es conmutativa. V
q: sumar 3+4 es igual a 7 V
r: sumar 4+3 es igual a 7 V
3. Determinar el valor de verdad de la proposición compuesta.
v^v → v
v → v
v
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
1. Definir las proposiciones simples del argumento.
2. Definir la expresión del argumento en lenguaje simbólico o formal.
3. 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)
4. 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.
Proposiciones simples.
p Aprender matemáticas desarrolla el razonamiento lógico.
q Se Posee una buena compresión lectora.
r Se Posee Buena ortografía.
Lenguaje Simbólico.
p ↔ ( q^r)
Tabla de verdad manual
Respuesta =4.
4. A∩B∩C
Respuesta = 6
Conclusiones.
El presente trabajo dio desarrolla paso a paso de Lógica proposicional, tablas de verdad en
proposiciones compuestas, álgebra de proposiciones, tautologías, contradicciones,
contingencias y teoría de conjuntos.
Referencias