PENSAMIENTO LOGICO Y MATEMATICO – (200611B 611)

Unidad 1 Proposiciones y tablas de verdad

Tarea 1

Estudiante
Luis Gabriel Hoyos Suarez
Grupo No. 200611_890

Tutor
Mireya Gómez

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CCAV, Pitalito, Huila. Marzo 10 - 2019
 Introducción
En el presente trabajo se aprenderá a construir proposiciones
simples y compuestas, usando los diferentes conectores que
nos llevaran a un lenguaje natural y a la vez a uno simbólico.
Con el lenguaje simbólico construiremos tablas de verdad que
son uno de los métodos más sencillos y conocidos de la lógica
formal, al entender las tablas de verdad entenderemos la lógica
formal misma
 Objetivos
 Comprender los conceptos de la lógica proposicional
y como se aplica en la resolución de problemas
 Aprender a definir la proposiciones simples y las
compuestas
 Llevar las proposiciones a un lenguaje simbólico y
viceversa
 Construir y tablas de verdad a partir de las
proposiciones simples y compuestas, y a la vez
definir el resultado de la misma.
Ejercicio 1: Conceptualización de Cuantificadores

C. Cuantificador Existencial.

https://prezi.com/view/KxxBHToJyJEsuY9CElcw/
 Ejercicio 2: Proposición y Tablas de Verdad

Argumento:
A. Pereira es el nombre de una ciudad o Pereira es un apellido, entonces
Pereira es un sustantivo

 Proposiciones simples del argumento

p= Pereira es el nombre de una ciudad
q= Pereira es un apellido
r = Pereira es un sustantivo

 Lenguaje simbólico

p˅ (q → r)

 Tabla de verdad en simulador Lógica UNAD

  Tabla de verdad manual compuesta de tres (3) columnas de
proposiciones simples y una columna de operadores lógicos.

p q r p˅ (q → r)

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

El resultado de la tabla de verdad es de CONTINGENCIA

Ejercicio 3: Problemas de aplicación

Proposición compuesta en lenguaje simbólico (argumento)

A. (𝒑 ↔ ¬𝒒) ∨ (𝒒 ∧ 𝒓 )
 Proposiciones simples

P= Luis reprueba el curso dibujo de ingeniería

q= presenta el modelo a escala

r= aprueba el curso

 Lenguaje natural

Luis reprueba el curso dibujo de ingeniería si y solo si no presenta el modelo a

escala o presenta el modelo a escala y aprueba el curso.

 Tabla de verdad en simulador Lógica UNAD

 Tabla de verdad manual compuesta de tres (3) columnas de
proposiciones simples, una negación y tres (3) columna de operadores
lógicos

p q r ¬q (p↔̴ ¬q) q^r (p↔̴ ¬q)v(q^r)

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

El resultado de la tabla de verdad es de CONTINGENCIA

 Conclusión
En este trabajo se logra comprender como la tabla de verdad nos ayuda
a demostrar el valor de verdad en una proposición sea simple o
compuesta, para cada combinación de verdad que se le pueda asignar.
Gracias al desarrollo de problemas propuestos se logra identificar los
elementos esenciales de la lógica proposicional y como se aplican al
resolver problemas cotidianos por medio de tablas de verdad.
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. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/read
er.action?ppg=20&docID=3226457&tm=1529246259924

Bibliografía
Cardona, T. S. A. (2010). Lógica matemática para ingeniería
de sistemas y computación. (pp. 9-28). Ediciones Elizcom,
Madrid. Recuperado
dehttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/read
er.action?ppg=12&docID=3199701&tm=1529335849013

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. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/read
er.action?ppg=109&docID=3199701&tm=1529510366591