PENSAMIENTO LOGICO Y MATEMATICO 1

UNIDAD 1 - LÓGICA PROPOSICIONAL

PRESENTADO POR

Grupo 200611_259

TUTOR: HILDER MOSCOTE

UNIVERSIDAD NACIONAL ABIERTA Y ADISTANCIA – UNAD

ESCUELA DE CIENCIAS SOCIALES, ARTES Y HUMANIDADES

PROGRAMA DE PSICOLOGIA

Bogotá, Septiembre de 2018

PENSAMIENTO LOGICO Y MATEMATICO 2

INTRODUCCION

Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de

verdad. Nos dice si una fórmula es satisfactoria. Si un razonamiento es válido o no.

Constituye un procedimiento de decisión que en un número finito de pasos nos dice si una

fórmula es una tautología o no.

PENSAMIENTO LOGICO Y MATEMATICO 3

OBJETIVOS

Comprender y analizar las tablas de verdad de esta manera nos permiten analizar

cualquier fórmula y hallar sus valores de verdad.

Apropiar y manejar tablas de verdad, ya que es usada en el ámbito de la lógica, para

obtener la verdad (V) o falsedad (F), valores de verdad, de una expresión o de una

proposición.
PENSAMIENTO LOGICO Y MATEMATICO 4

EJERCICIO 1.
PENSAMIENTO LOGICO Y MATEMATICO 5

Ejercicio 2: Proposiciones y Tablas de verdad

Enunciado lenguaje natural: Este fin de semana, voy a hacer un asado y voy a realizar
una actividad en la piscina y voy a pasar tiempo agradable con mi familia.

 Definir las proposiciones simples del argumento.

p: Este fin de semana
q: hacer un asado
r: realizar actividad en la piscina
s: pasar tiempo agradable con mi familia

 Definir la expresión del argumento en lenguaje simbólico o formal.

(p → q) ^ r ^ s

 Generar una tabla de verdad con el simulador Truth Table a partir del
lenguaje simbólico.

p q r s (p → q )Λ r Λ s

T T T T T
T T T F F
T T F T F
T T F F F
T F T T F
T F T F F
T F F T F
T F F F F
F T T T T
F T T F F
F T F T F
F T F F F
F F T T T
F F T F F
F F F T F
F F F F F
PENSAMIENTO LOGICO Y MATEMATICO 6

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

(p (p → q) ^ r ^
p q r s → q) s
V V V V V V
V V V F V F
V V F V V F
V V F F V F
V F V V F F
V F V F F F
V F F V F F
V F F F F F
F V V V V V
F V V F V F
F V F V V F
F V F F V F
F F V V V V
F F V F V F
F F F V V F
F F F F V F

Ejercicio 3: Problemas de aplicación

Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de

Conocimiento (Unidad 1), las siguientes referencias:

Descripción del ejercicio:

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

(argumento) para el desarrollo del ejercicio 3:

c. [(𝑝⟶𝑞)∧(∼𝑞)∧(r⟶q)]⟶r

En Bogotá por la altura hace frio, en Santa Marta cercana al mar hace calor
las mujeres de Medellín son muy bonitas.
PENSAMIENTO LOGICO Y MATEMATICO 7

p. Bogotá por la altura hace frio,

q: en Santa Marta cercana al mar hace calor
r: las mujeres de Medellín son muy bonitas
PENSAMIENTO LOGICO Y MATEMATICO 8

CONCLUSIONES

Las tablas de verdad es una estrategia de la lógica simple que permite establecer la

validez de varias propuestas en cuanto a cualquier situación, es decir, determina las

condiciones necesarias para que sea verdadero un enunciado propuesto.

Las tablas de verdad, es usada en el ámbito de la lógica, para obtener la verdad (V) o

falsedad (F), de una expresión o de una proposición.

PENSAMIENTO LOGICO Y MATEMATICO 9

BIBIOGRAFIAS

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=3226

457&tm=1529246259924

Proposiciones y Conectores lógicos

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/reader.action?ppg=12&docID=319

9701&tm=1529335849013

Cuantificadores

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/reader.action?ppg=109&docID=31

99701&tm=1529510366591
PENSAMIENTO LOGICO Y MATEMATICO 10