Pensamiento Lógico y Matemático 200611

Unidad 1: Paso 2 – Proposiciones y Tablas de Verdad

Estudiante
Julio Cesar Galván Rico

Código
1096195024

Grupo
200611_304

Tutora
Sandra Patricia Barrios Rodríguez

Universidad Nacional Abierta y a Distancia UNAD

Barrancabermeja
Marzo 11 de 2018
 Introducción
El presente trabajo se mostrara de cómo se aplica y se aprende a usar el
razonamiento de una manera efectiva empleando el pensamiento lógico
matemático, mediante simbología matemática (reglas de inferencia) y valide esta
realidad (tablas de la Verdad). Lo cual nos permite el desarrollo en el ámbito
profesional de manera más natural, eficiente y rápida.
 Objetivos

 Dar aconocer el manejo de la tambla de la verdad de mostrando el valor de

verdad de una proposicion compuesta, para cada combinacion de verdad
que se pueda asignar.

 Aprendir los conociminetos basicos del pensamiento Logico Matematico.

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: V
q: F

(𝑝 ∧ ¬𝑞) → (¬𝑝)
(𝑉 ∧ 𝑉) → (𝑉)
𝑉→𝑉
𝑉

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)

p q r (p ⇒ q) (q ⇒ r) (p ⇒ q) ∧ (q ⇒ r)

V V V V V V

V V F V F F

V F V F V F

V F F F V F

F V V V V V

F V F F F F

F F V V V V

F F F V V V
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
Expresión
Proposiciones:
p: Tengo Moto para ir a la Universidad
q: debo tener Casco
r: iré en bus a la Universidad
s: debo tener dinero para el bus

A. [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

B. Proposición compuesta en lenguaje Natural:

Si tengo una Moto para ir la Universidad entonces debo tener un casco y si no tengo
moto para ir a la Universidad entonces iré en bus a la Universidad y si iré en bus a la
Universidad entonces debo tener dinero para el bus, si no debo tener un casco entonces
debo tener dinero para el Bus.

p q r s (𝑝⟶𝑞) (∼𝑝⟶𝑟) (𝑟⟶𝑠) (∼𝑞⟶𝑠) [(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)∧(𝑟⟶𝑠)]⟶(∼𝑞⟶𝑠)

V V V V V F V F v
F V V V V F V F v
V F V V F F V F v
F F V V V F V F v
V V F V V V V F v
F V F V V V V F v
V F F V F F V F v
F F F V V F V F v
V V V F V F F V v
F V V F V F F V v
V F V F F F F V v
F F V F V F F V v
V V F F V V V V v
F V F F V V V V v
V F F F F F V V v
F F F F V F V V v
Simulador

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

 Como podemos observar los valores de la tabla coinciden con los del
simulador, así mismo podemos ver que estos corresponden a una tautología
pues tiene un valor de verdad verdadero siempre independiente de los
valores de sus premisas
 Conclusión

 La lógica matemática nos ayuda a desarrollar los procesos de pensamiento

encontrando sentido a lo que normalmente realizamos, utilizando nuestro
razonamiento en oraciones y frases que suelen estudiar esta materia.

 La proposición es el elemento esencial de la lógica para la matemática

 Se enseña cómo elaborar preposiciones, evaluar su valor de verdad y

determinar si las conclusiones se han deducido correctamente a partir de
preposiciones.
 Bibliografía

 John Karts. [John Karts]. (1819). [Simulador Truth]. Recuperado

de:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
(Simulador Truth)

 Lógica proposicional (PREUNIVERSITARIA)

https://www.youtube.com/watch?v=lrnmYWx9NNM

 (Acuerdo Numero 089 de Octubre de , 2017)

2017https://sgeneral.unad.edu.co/images/documentos/consejoAcadem
ico/acuerdos/2017/COAC_ACUE_089_20171030.pdf