Tarea 1 – Proposiciones y Tablas de Verdad

Liliana Rueda Monsalve

CÓDIGO: 1005384495
Grupo: 564

Luis Eduardo Hoyos

(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO MATEMÁTICO

BETULIA
FECHA: 12/09/2019
 INTRODUCCIÓN:

El presente trabajo nos permitirá revisar, comprender y analizar los

diferentes conceptos y aplicaciones que podemos realizar para la
resolución de problemas. Teniendo en cuenta la lógica proposicional,
tablas de verdad, tautología, contradicciones, contingencias,
cuantificadores y proposiciones categóricas entre otros.

Conceptos básicos que se deben desarrollar en la lógica matemática y

que nos permiten tener una mejor asimilación de diferentes problemas,
aplicables en un aula de clase o en la interacción diaria de los seres
humanos.
 OBJETIVOS:

Conocer y comprender conceptos fundamentales de la lógica

proposicional y aplicarlos para la resolución de problemas.

Comprender la importancia de la lógica simbólica en el estudio de los

fundamentos de las matemáticas y su aplicación en nuestro campo de
acción.

Reconocer las reglas y técnicas para determinar si es o no válido un

argumento dado. Lo cual es necesario para sacar conclusiones, resolver
problemas o realizar cualquier actividad.
Ejercicio 1: Conceptualización de Cuantificadores
Ejercicio 2: Proposiciones y Tablas de Verdad

Argumento

E. PlayStation es una consola si y solo si es usada como un

reproductor de BlueRay y para jugar juegos de video.

Proposiciones Simples:
Se define cada proposición simple del argumento, siempre en
afirmativo y con letras en minúscula.

p = PlayStation es una consola

q = usada como reproductor BlueRay

r = para jugar juegos de video

Lenguaje Simbólico: Se convierte el argumento al lenguaje simbólico

P (q^r)

Tabla de verdad con el Simulador Lógica UNAD.

 Tabla de la verdad (manual):

p q r q^r P (q^r)
V V V V V
V V F F F
V F V F F
V F F F F
F V V V F
F V F F V
F F V F V
F F F F V

El resultado es una: Contingencia

Ejercicio 3: Problemas de Aplicación

Definir las preposiciones simples basadas en un contexto
académico.
p: Carlos estudia en la UNAD.
q: La UNAD es una universidad pública.
r: La sede principal está en Bogotá.
s: El rector se llama Carlos Pinto.
Lenguaje Simbólico:
E. [ ( p ⋀ q ) ⟶ r ] ∧¿]

Lenguaje Natural:

Carlos estudia en la UNAD y la UNAD es una universidad pública

entonces la cede principal está en Medellín y no es la UNAD una
universidad pública y el rector se llama Carlos Pinto entonces la
sede principal no está en Medellín.

Tabla de verdad simulador UNAD.

Generar tabla de verdad manualmente.

p q r s p^q (p^q) →r (~q v s) (~q v s)→~r [ (p ^ q)→r] ^ [ (~q v s)→~r]

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

Resultado de la tabla de verdad: Contingencia

 CONCLUSIÓN

Por medio del anterior trabajo fue posible adquirir los conocimientos
básicos de conceptos aplicables a la lógica matemática. Lo cual nos
conlleva a reconocer diferentes, fundamentos, reglas y/o técnicas que
con los cuales se puede proceder a la resolución de situaciones,
problemas o cualquier situación.

También con estos conocimientos establecemos criterios para

determinar si un argumento es aplicable, teniendo en cuenta su validez.
Referencias bibliográficas

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

sistemas y computación. (pp. 106 - 112). Ediciones Elizcom,
Madrid.

 Rodríguez, S. P. B. (2006). Matemáticas 9. (pp. 158 – 169).

Editorial Educativa, Bogotá.

 https://superinteresante7.wordpress.com/2011/10/16/tautologias
-contradiccion-y-contingencia/

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