PENSAMIENTO LOGICO Y MATEMATICO

Unidad 1 - Lógica Proposicional

Tarea 1 - Proposiciones y tablas de verdad

Estudiante
Jesús Eduardo Remolina Ovallos

613
Grupo

Tutor:
David Rodrigo Olivares
 Introducción

Este trabajo se realiza con la finalidad de obtener más conocimiento en los siguientes

temas: Lógica proposicional, tablas de verdad en proposiciones compuestas, álgebra de

proposiciones, tautologías y contradicciones y contingencias, proposiciones categóricas,

cuantificadores.

Objetivos
Objetivo General

- Comprender los conceptos fundamentales de la lógica proposicional y los aplica para la

resolución de problemas.

Objetivos Específicos

-Conceptualizar las proposiciones con cuantificadores.

- Resolver problemas mediante el uso de la lógica proposicional y las Tablas de Verdad.

- Solucionar Problemas con aplicación de lógica proposicional.

Ejercicio 1: Conceptualización de Cuantificadores
C: Cuantificador Existencial.

- Presentación en powerpoint.
 Ejercicio 2: Proposiciones y Tablas de verdad.
- Argumento: Empresas estadounidenses no pueden negociar con empresas chinas o google es
una empresa estadounidense y si huawei es una empresa china entonces no tiene android de
google.

- Proposiciones simples:

P= Empresas estadounidenses no pueden negociar con empresas chinas

Q= google es una empresa estadounidense.

R=Huawei es una empresa china.

S= No tiene android de google.

- Lenguaje simbólico.

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

- Simulador lógica UNAD.

- Tabla de verdad manual.

p q r S (~p∨q)∧(r→~s)
V V V V F V V F V F F
V V V F F V V V V V V
V V F V F V V V F V F
V V F F F V V V F V V
V F V V F F F F V F F
V F V F F F F F V V V
V F F V F F F F F V F
V F F F F F F F F V V
F V V V V V V F V F F
F V V F V V V V V V V
F V F V V V V V F V F
F V F F V V V V F V V
F F V V V V F F V F F
F F V F V V F V V V V
F F F V V V F V F V F
F F F F V V F V F V V
P V Q P ∧ q R→ S
V V V V V V V V V
V V F V F F V F F
F V V F F V F V V
F F F F F F F V F

- Resultado de la tabla de verdad.

Es CONTINGENCIA porque hay valores verdaderos y falsos.

Bibliografía.

- 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, Madrid.

Ejercicio 3: Problemas de aplicación

- Preposición compuesta: [(𝑝 ⋁𝑞) ⟷ 𝑟] ( argumento ).

Definir las proposiciones simples.

P= Eduardo es el mejor estudiante de matemáticas

Q= el más interesado en la materia
R= El profesor es David Rodrigo Olivares

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

Eduardo es el mejor estudiante de matemáticas o el más interesado en la materia si y solo si el
profesor es David Rodrigo Olivares.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico.
Generar una tabla de verdad manualmente a partir del lenguaje simbólico.
p q R [(𝒑 ⋁𝒒) ⟷ 𝒓]
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

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

contingencia.
El argumento seleccionado es una contingencia porque en el resultado hay valores verdaderos y
falsos.

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

- 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.
 Conclusiones

Durante el desarrollo del presente trabajo se concluye:

- La conceptualización de las preposiciones con cuantificadores de una forma clara y

precisa de la temática escogida y los ejemplos solicitados.

- La resolución de problemas mediante el uso de la lógica proposicional con la definición

de las preposiciones simples del argumento seleccionado y la construcción de las tablas de

verdad de forma manual y el programa propuesto en el entorno práctico del curso para su

verificación.

- La solución de problemas con la aplicación de lógica proposicional con la definición de

las proposiciones simples al contexto solicitado.

Referencias Bibliográficas

Cárdenas, J. L. (2014). Álgebra: Serie universitaria patria. (pp. 2-6). México, D.F.: Grupo
Editorial Patria. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=13&docID
=3227286&tm=1531172313538

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. Recuperado de
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=20&docID=
3226457&tm=1529246259924

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

(pp. 9-28). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=12&docID
=3199701&tm=1529335849013