Pensamiento Lógico y Matemático

Unidad 1:
Paso 2 - Proposiciones y Tablas de Verdad

Estudiante

Cristian David Arrieta Ojeda

Código:
200611A_472

Grupo:
200611_206

Tutor:
John A Guevara

Universidad Nacional Abierta y a Distancia UNAD

2018
 Introducción

El presente trabajo se mostrara de cómo se aplica el razonamiento de una manera

efectiva empleando el pensamiento lógico matemático, mediante simbología
matemática (tablas de la Verdad). Lo cual nos permite el desarrollo en el ámbito
profesional de manera más natural.
 Objetivos

• Dar a conocer el manejo de la tabla de la verdad de mostrando el valor de

verdad de una proposición compuesta, para cada combinación de verdad que se
pueda asignar.
• Aprender los conocimientos básicos del pensamiento Lógico Matemático.
Tarea 1

A. p: en la UNAD hay 5 periodos académicos anualmente

q: La UNAD tiene 3 periodos de 8 semanas cada uno

(p∧¬q) → (¬p)

R: / p: v
q: v

(p ∧ ¬ q ) → (¬p)

( v ∧ v) → ( v )

v→v

Proposición compuesta en lenguaje Natural:

Si En la UNAD hay 5 periodos académicos anualmente y La UNAD no tiene

3 periodos de 8 semanas cada uno, entonces La UNAD No tiene 3 periodos
de 8 se mana cada uno.

• Esta preposición es Compuesta o molecular ya que tiene 2 o más

significados y contiene al menos un conectivo lógico.
Tarea 2

A. Si en las mañanas llueve, entonces en la tarde hace frio y si en la tarde hace frio
entonces en la noche llueve

Proposiciones

p: En las mañanas llueve

q: En la tarde hace frío

r: En la noche llueve

Expresión

(p ⇒ q) ∧ (q ⇒ r)

Es una proposición compuesta también denominada molecular.

Son aquellas que están formadas por dos o más proposiciones simples unidas por los
operadores lógicos.
Es una proposición compuesta también denominada moleculares. Son aquellas que
están formadas por dos o más proposiciones simples unidas por los operadores lógicos.
Simulador

• Conclusión tanto la tabla de la verdad tanto Manual como el

simulador

La expresión será verdadera si se cumplen ambas partes del condicional, lo cual ocurre
siempre menos cuando:

- No hace frío en la tarde y en las mañanas llueve

- En la tarde hace frío y en la noche no llueve

• Es un argumento de Contingencia ya que se entiende por verdad

contingente aquella proposición que puede ser verdadera o falsa
Tarea 3 ejercicio c

Problemas de aplicación

Cada estudiante debe seleccionar uno de los ejercicios referenciados y anunciar su

escogencia en el foro, de tal forma que no coincida con los compañeros.

c. [(𝑝⟶𝑞)∧(𝑟∨𝑠)∧(𝑟⟶𝑡)∧(∼𝑞)∧(𝑢⟶𝑡)∧(𝑠⟶𝑝)]⟶t

P1: (𝑝⟶𝑞)

P2: (𝑟∨𝑠)

P3: (𝑟⟶𝑡)

P4: (∼𝑞)

P5: (𝑢⟶𝑡)

P6: (𝑠⟶𝑝)

P7: (𝑠⟶q) S.H: (p1.p7)

P8: (𝑠⟶q) ∧ (𝑟⟶𝑡) adición: (p3.p7)

P9: (q V t) DC: (P8.P2)

P10: t
 • Tabla de verdad según la simulador me da igual que manual

p q r s t u [(p→q)Λ(rVs)Λ(r→t)Λ(¬q)Λ(u→t)Λ(s→p)]→t

T T T T T T T
T T T T T F T
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F T
T T T F F T T
T T T F F F T
T T F T T T T
T T F T T F T
T T F T F T T
T T F T F F T
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F T
T F T T T T T
T F T T T F T
T F T T F T T
T F T T F F T
T F T F T T T
T F T F T F T
T F T F F T T
T F T F F F T
T F F T T T T
T F F T T F T
T F F T F T T
T F F T F F T
T F F F T T T
T F F F T F T
T F F F F T T
T F F F F F T
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
 F F F F F F T

• Definir si el argumento es una Tautología, contradicción o contingencia

El argumento es una tautología

Conclusión

• En este trabajo adquirimos algunos conocimientos de leyes de indiferencia y

razonamiento e inductivos llegando así al desarrollo de cada uno de los objetivos
propuestos.
• Podemos concluir que para resolver las temáticas correspondientes sobre todo
los razonamientos los podemos demostrar con tablas de verdad y reglas de
indiferencia.