PENSAMIENTO LOGICO Y MATEMATICO

Unidad 1 - Lógica Proposicional

Tarea 1 - Proposiciones y tablas de verdad

Estudiantes:
LAURA ALEJANDRA BARBOSA

200611_126
Grupo

Tutor:
Mireya Gómez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO Y MATEMATICO
200611
2019
 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 2: Proposiciones y Tablas de verdad.

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

Argumento:
Si Margarita es doctora y Edgar no es ingeniero, entonces David es profesor y Edgar es
psicólogo.

Proposiciones Simples:
p = Margarita es doctora.
q = Edgar es ingeniero.
r = David es profesor.
s = Edgar es psicólogo.

Lenguaje Simbólico:
(𝑝 ∧∼𝑞)→(𝑟 ∧ 𝑠)
 Tabla de la verdad (manual):

𝑝 𝑞 𝑟 𝑠 ∼𝑞 ( 𝑝 ∧ ∼ 𝑞) (𝑟 ∧ 𝑠) (𝑝 ∧∼𝑞)→(𝑟 ∧ 𝑠)

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

Resultado de la tabla de verdad: CONTINGENCIA

Simulador Lógica UNAD:
 Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará proposiciones compuestas en lenguaje simbólico (argumento)

para el desarrollo del ejercicio 3:

∼ [ (𝑝 ∨ 𝑞 ) → ( 𝑟 ∧ 𝑠) ]

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado deberá:

Definición de las proposiciones simples:
p = Miguel viaja a España.
q = Luisa está en Alemania.
r = Carlos vives en Madrid.
s = Felipe viaja a Barcelona.

Lenguaje natural de la expresión formal:

No es cierto que si Miguel viaja a España o Luisa está en Alemania entonces Carlos vive en
Madrid y Felipe viaja a Barcelona.
 Tabla de la verdad (manual):

𝑝 𝑞 𝑟 𝑠 ( 𝑝 ∨ 𝑞) (𝑟 ∧ 𝑠) (𝑝 ∨ 𝑞)→(𝑟 ∧ 𝑠) ∼ [ ( 𝑝 ∨ 𝑞 ) → ( 𝑟 ∧ 𝑠 )]

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

Resultado de la tabla de verdad: CONTINGENCIA

Simulador Lógica UNAD:
 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