PENSAMIENTO LOGICO MATEMATICO

Paso 7 - Resolución de situaciones problemáticas del mundo real (POA)

GUSTAVO ADOLFO VERA HERNANDEZ

C.C. N. 1.105.672.632

CURSO 200611_826

Tutor:

LEONARDO FABIO GARCIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

MAYO 2018
INTRODUCCION:

Esta actividad nos permite, tener un amplio conocimiento sobre todo lo

relacionado con las preposiciones, conjunciones, variables para así poder
manejar, practicar y entender cómo realizar las tablas de la verdad, y así
poder dar cumplimiento a las actividades planteadas.
Para esto debemos leer completa y minuciosamente las lecturas asignadas
para el desarrollo de la actividad, ya que son de mucha importancia para
entender a la perfección este tema.
En el desarrollo de este trabajo de podrán identificar la conceptuación, análisis
y argumentación de forma adecuada de los procedimientos desde la lógica
proposicional, utilizados para demostrar la veracidad y validez de situaciones
específicas del mundo real

OBJETIVO GENERAL:

Manejar y fortalecer los conceptos adquiridos en esta unidad de lógica

matemática y ponerlos en práctica en situaciones del mundo real

OBJETIVOS ESPECIFICOS:

 Aprender a realizar tablas de la verdad y lenguaje simbólico

 Aplicar las diferentes variables en las actividades

 Aplicar todos los conocimientos adquiridos durante el curso

 Demostrar la validez o no validez de situaciones problemáticas por

medio de los principios de lógica.
Tarea 1: Proposiciones y tablas de verdad

Definición de las proposiciones simples:

P: soy estudiante de psicologia
Q: estudiar en universidad
R: estoy trabajando
S: no puedo estudiar presencial
T: estudio virtual

Lenguaje natural de la expresión formal:

Si soy estudiante de psicología. Entonces tengo que estudiar en una universidad, y si estoy
en la universidad y trabajo al mismo tiempo, entonces no puedo estudiar presencial,
entonces tengo q estudiar presencial.

TABLA MANUAL:

~
(p→ (s (p→ (~ (p→ t (p→q) ~ [(p→q)
q)∧( ∨ q)∧( s∨t q)∧( ∧(q→r) p ∧(q→r)
q→r ~ q→r) ) q→r ∧(s∨~r ∧(s∨~r
) r) ∧(s∨ )∧(s )∧(~s∨ )∧(~s∨
(p (q ~r) ∨~r) t)∧(~t) t)∧(~t)
→q → ∧(~s ]⟶~p
¬ ¬ ¬ ) r) ∨t)
P Q R S T r ¬s t p
V V V V V F F F F V V V V V V V F F F V
V V V V F F F V F V V V V V F F V F F V

v V V F V F V F F V V V F F V F F F F V
v V V F F F V V F V V V F F V F V F F V
v V F V V V F F F V F F V F V F F F F V

v V F V F V F V F V F F V F F F V F F V
v V F F V V V F F V F F V F V F F F F V
v V F F F V V V F V F F V F V F V F F V
v F V V V F F F F F V F V F V F F F F V
v F V V F F F V F F V F V F F F V F F V
v F V F V F V F F F V F F F V F F F F V
v F V F F F V V F F V F F F V F V F F V
v F F V V V F F F F V F V F V F F F F V
v F F V F V F V F F V F V F F F V F F V
v F F F V V V F F F V F V F V F F F F V
v F F F F V V V F F V F V F V F V F F V
f V V V V F F F V V V V V V V V F F V V
f V V V F F F V V V V V V V F F V F V V
f V V F V F V F V V V V F F V F F F V V
f V V F F F V V V V V V F F V F V F V V
f V F V V V F F V V F F V F V F F F V V
f V F V F V F V V V F F V F F F V F V V
f V F F V V V F V V F F V F V F F F V V
f V F F F V V V V V F F V F V F V F V V
f F V V V F F F V V V V V V V V F F V V
f F V V F F F V V V V V V V F F V F V V
f F V F V F V F V V V V F F V F F F V V
f F V F F F V V V V V V F F V F V F V V
f F F V V V F F V V V V V V V V F F V V
f F F V F V F V V V V V V V F F V F V V
f F F F V V V F V V V V V V V V F F V V
V V V V V V v
f F F F F V V V V V V V V

Truth Table

p q r s t [(p→q)Λ(q→r)Λ(sV¬ r)Λ(¬ sVt)Λ(¬ t)]→¬ p

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

Expresión es una tautología

Comprobar el resultado de la tabla de verdad manual versus simulador

Truth Table.

Podemos observar que en la tabla hecha manualmente Y mediante el

simulador, observamos que todos los resultados dieron verdaderos

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

contingencia
Considero que la expresión es una tautología, ya que una Tautología puesto
que se evidencia la repetición de un mismo pensamiento atravez de distintas
expresiones. Y da como resultado esta expresión lógica siempre verdadera, en
todos los posibles valores.
Tarea 2: Teoría de Conjuntos

Una empresa fabricante de equipos para telefonía celular desea hacer un

nuevo lanzamiento para el verano del 2018, por lo que decidió tomar los
datos de la aplicación de una encuesta sobre la preferencia de marca de
dispositivos móviles, en diferentes tiendas de venta de celulares. La
encuesta fue aplicada a 4047 personas y arrojó la siguiente información:
1938 personas manifestaron que han utilizado Iphone; 1694 personas
manifestaron que han utilizado celulares marca Nokia; 1048 personas
respondieron que solo usan Samsung; 942 personas manifestaron que han
usado Iphone y Samsung; 1101 personas han usado Iphone y Nokia; 694
personas han usado Nokia y Samsung; 430 personas manifestaron que han
usado las tres marcas. La empresa de telefonía quiere saber:

a) ¿Cuántos encuestados no usan celular?

b) ¿Cuántos encuestados usan solamente Samsung y Nokia?
c) ¿Cuántos encuestados usan solamente Iphone?
d) ¿Cuántos encuestados usan Samsung?

R/

N: (I)= 1938
N: (N)= 1694
N: (S)= 1048
N: (IπS)= 942
N: (IπN)= 1101
N: (NπS)= 694
N: (IπNπS) = 430
a) ¿Cuántos encuestados no usan celular?

R/ ( I 𝝊N 𝝊S)= (325+671+329+430+512+264)= 2531

4047 – 2531 = 1516 NO USAN CELULAR

b) ¿Cuántos encuestados usan solamente Samsung y Nokia?

r/ (s 𝝊 n)= ( 430+264+329+512)= 1535

c) ¿Cuántos encuestados usan solamente IPhone?

R/325

d) ¿Cuántos encuestados usan Samsung?

r/ 512+430+264= 1206
Tarea 3: Leyes de Inferencia

La consejera académica de la UDR Cali, está realizando un

acompañamiento a un estudiante del programa de ingeniería industrial, ella
le quiere hacer entender que es muy importante ser responsable para
obtener buenas calificaciones, por eso le da el siguiente consejo: “Si Carlos
repasa el contenido del curso, entonces estará preparado para el examen o
Carlos se va de fiesta. Si Carlos se va de fiesta, entonces no repasa el
contenido del curso. Ocurre que Carlos repasa el contenido del curso y
llegará con los temas

P: Carlos repasa el contenido

Q: estará preparado para el examen
R: Carlos se va de fiesta
C: Carlos repasa el contenido llegara a los temas

[ ( p⟶q) ∧ r ∧ (r⟶~ p) ] ⟶ P

TABAL MANUAL

P Q R ~ ( p⟶q) R ( p⟶q) (r⟶~ ( p⟶q) ∧ r ∧ [ ( p⟶q) ∧ r ∧

p ∧r p) (r⟶~ p) (r⟶~ p) ]
⟶P

V V V F V V V F F V
V V F F V F F V F V
V F V F F V F F F V
V F F F F F F V F V
F V V V V V V V V F
F V F V V F F V F V
F F V V V V V V V F
F F F V V F F V F V
 Truth Table

p q r [ (p→q)ΛrΛ (r→¬ p)]→p

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

[ ( p⟶q) ∧ r ∧ (r⟶~ p) ] ⟶ P

P1: ( p⟶q)
P2: r
P3: (r⟶~ p)
C: P
P4: ~R⟶ P
P5: R
P6:P

CONCLUCION:

Como estudiante logre comprender, entender y aplicar adecuadamente todos

las aplicaciones de los elementos y propiedades operativas de los conjuntos en
la solución de problemas de razonamiento lógico. Con la solución de los
problemas planteados logre aprender a interpretar el lenguaje simbólico relacionarlo
con el natural y creo que me servirá para la aplicación de este conocimiento en la
estructuración de proposiciones matemáticas argumentadas.