Propisiciones y Tablas de Verdad

Tutor: Nestor Hernandez Moreno

Estudiante: Carolina Acevedo Mouawd

Grupo: 200611_145

Universidad Nacional Abierta y a Distancia UNAD

Licenciatura en Lenguas Extranjeras con Énfasis en Ingles

Pensamiento Lògico y Matemàtico (200611A-762)

Abril
Introducción

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel

elemental, la lógica proporciona reglas y tecnicas para determinar si es o no valido un
argumento dado.

Durante este trabajo abordaremos diferentes actividades de razonamiento lógico, como la

descripción y análisis de Cuantificador existecial y aplicación de tablas de la verdad.

Objetivos

Resolver las tres actividades propuestas para la tarea número1, aplicando razonamiento
lógico y realizando la demostración de esta a través de tablas de verdad.

Desarrollo Actividades

Ejercicio 1: Conceptualización de Cuantificadores

Con base a los contenidos desarrollados en la lectura, el tema que escogí para presentarlo

de manera gráfica fue la letra C, Cuantificador Existencial, en el siguiente link encontraran

el desarrollo de esta actividad.

https://www.youtube.com/watch?v=OfKLZpihYrI
 Ejercicio 2: Proposiciones y Tablas de verdad

Tras revisar en el entorno de conocimiento las lecturas necesarias para la realización de la

actividad el argumento que elegí para desarrollar fue la letra C.

 Si el uso de computador es muy básico en la UNAD y Juan no tiene computador,

entonces tendrá dificultad para estudiar o irá al CEAD más cercano para usar los
que la universidad le ofrece.

P: El uso del computador es muy básico en la UNAD

q : Juan no tiene computador

r: Dificultad para estudiar

s: Irá al CEAD más cercano

Tabla de la verdad manual

A : ( p∧ ¬q ) →(r ∨ s)

Resultado de la tabla: Contingencia

p q r s ¬q (p∧¬q) (r∨s) (p∧¬q) → (r∨s)

V V V V F F V V
V V V F F F V V
V V F V F F V V
V V F F F F F V
V F V V V V V V
V F V F V V V V
V F F V V V V V
V F F F V V F F
F V V V F F V V
F V V F F F V V
F V F V F F V V
F V F F F F F V
F F V V V F V V
F F V F V F V V
F F F V V F V V
F F F F V F F V

Tabla de la verdad simulador Logica Unad

Ejercicio 3: Problemas de aplicación

La proposición compuesta en lenguaje simbólico escogida para el desarrollo de esta
actividad es la letra C.

Si estoy en la casa o mi gato no tiene comida entonces no maulla.

A :(r ∨¬ q)→¬ p

r: Si estoy en casa

q : Mi gato no tiene comida

p: Mi gato no maulla.

Tabla de la verdad

p r ¬q ¬p (r∨~q) (r∨~q)→~p
v v F F V F
v f F V F V
v v V F V F
v f V V F F
f v F F V V
f f F V V V
f v V F V V
f f V V V V

Resultado de la tabla: Contingencia

Tabla de la verdad simulador Logica Unad

Conclusiones

La lógica matemática nos ayuda a desarrollar procesos de racionamiento encontrando

sentido a lo que normalmente realizamos.

La lógica ofrece métodos que enseñan como elaborar proposiciones,evaluar su valor de

verdad y determinar si las conclusiones se han deducido correctamente a partir de
proposiciones compuestas.
Referencias

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores.

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 9-28). Ediciones Elizcom,

CJC Orihuela Solis (2015). Tablas de verdad. Recuperado de

https://34.199.100.111/bitstream/20.500.12394/1617/2/DO_FDE_312_PO_09-jul-
2015_16h47m00s.pdf

V Tema (2016). Lógica Simbólica y Tablas de Verdad. Recuperado de

http://46.101.4.154/PEA/COD3/Tema%20V.%20L%C3%B3gica%20Simb%C3%B3lica%20y
%20Tablas%20de%20Verdad.pdf