Pensamiento lógico

matemático
CÓDIGO: 200611_168

Tarea 1 proposiciones y tablas de verdad

Presentado al tutor (a):

Paulo Andrés Vélez ángel

Entregado por la estudiante:

Leidy Quiñonez Celis

Código: 1102374245

Grupo: 200611_168

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD ESCUELA DE CIENCIAS BÁSICAS

TECNOLOGÍA E INGENIERÍA
Mayo
Bucaramanga
 Introducción

Este trabajo se realiza con la finalidad de obtener más conocimiento en los siguientes temas: la lógica de
proposiciones permite describir razonamientos basados en enunciados del al lenguaje simbólico, tablas de verdad da
a conocer los valores de una proposición compuesta, los cuales dependen de los conectivos utilizados, entre las
cuales se aplica la transición del lenguaje natural teoría de conjuntos de una manera sencilla y explicita, como
también sus funciones y representaciones.
También se elaboraron las tablas de verdad, el uso simulador lógica unad a partir del lenguaje simbólico se
compararon con las tablas de verdad manual.
 Objetivos generales

 Fortalecer conceptos de los temas adquiridos de uso a las tablas de verdad.

Objetivos específicos

 Demostrar valides o no a las situaciones por medio de los principios lógicos.

 Analizar y plantear situación problemática sugerida por la guía.

 Analizar cualquier fórmula hallando sus valores de verdad para saber si es un razonamiento
valido o no.
 Ejercicio 1
B. cuantificador universal negativo
 EJERCICIO 2

B: Aprender matemáticas desarrolla el razonamiento lógico si y solo si se posee una buena comprensión lectora y buena
ortografía.

1-Definir las proposiciones simples del argumento-

p= Aprender matemáticas desarrolla el razonamiento lógico

q= Se posee una buena comprensión lectora
r= Buena ortografía.
La expresión del argumento en lenguaje simbólico o formal: p ↔ (q ^ r)
Generar una tabla de verdad con el simulador Lógica UNAD
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.

p q r p ↔ (q ^ r)
v v v v
v v f f
v f v f
v f f f
f v v f
f v F v
f f V v
f f F v

El argumento seleccionado inicialmente es de contingencia

 El desarrollo del ejercicio 3:

B. (¬𝑝 → 𝑞) ∧ (𝑟 ∨ 𝑞)

1. Proposiciones simples

p: le gustan las matemáticas

q: estudiar ingeniería de alimentos en la unad
r: Claudia decide si estudia inglés.

2. Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural

Ha leidy no le gustan las matemáticas entonces decide estudiar ingeniería de alimentos en la unad,
Claudia decide si estudia inglés o ingeniería de alimentos en la unad.
3. Generar una tabla de verdad con el simulador Lógica UNAD.
4. Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p q r (¬p→q)∧(r ∨ q)
v v v v
v v f v
v f v v
v f f f
f v v v
f v f v
f f v f
f f f f

5. Definir si el argumento seleccionado inicialmente es una tautología, contradicción o contingencia

El ejercicio planteado es contingencia.

 Conclusiones

La lógica matemática no ayudad a desarrollar procesos de pensamientos encontrando sentido a lo que

normalmente realizamos en cuanto a las proposiciones a evaluar su valor de verdad y determinar si las
conclusiones se han deducido correctamente a partir de proposiciones.
 Bibliografía

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación. (pp. 106 - 112). Ediciones
Elizcom, Madrid.

 Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones, [Vídeo]. Recuperado
de http://hdl.handle.net/10596/7961

 castaño, G. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de http://hdl.handle.net/10596/13871