Pensamiento lógico y matemático

Reglas de inferencia lógica por Inducción y

Deducciones en formulaciones

Presenta
Nancy Martinez Rincón

Grupo 886

Docente
Vanessa Julietth Linares

Universidad nacional abierta y a distancia

Tecnología en imágenes diagnosticas
San José de Cúcuta
2018
  Tarea 1: Proposiciones y tablas de verdad

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.

A. {(p→∼q)∧(∼r→s)∧(r→p)}→(∼q∨s)

Desde su rol como estudiante, tendrá la libertad de definir las proposiciones simples bajo una
descripción basada en el contexto académico, remplazando las variables expresadas simbólicamente
para llevarlas al lenguaje natural.
La solución de los enunciados debe contar con las siguientes etapas:

 Definición de las proposiciones simples

p: Nancy estudia en la universidad
q: le gusta el algebra
r: estudia para pasar la materia
s: obtiene buena calificación
 Lenguaje natural de la expresión formal
Si Nancy estudia en la universidad entonces no le gusta el álgebra, y si no estudia para pasar la
materia entonces obtiene buena calificación, y si estudia para pasar la materia entonces Nancy
estudia en la universidad. Por lo tanto, no le gusta el álgebra u obtiene buena calificación.

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

  Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.

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

Al comprobar las dos tablas generadas se puede obtener la conclusión de que es una Tautología esto
porque cada el resultado total de los valores obtenidos es Verdadero en todos los casos.

 Tarea 2: Teoría de Conjuntos

De las siguientes situaciones representarlas en un diagrama de Venn y solucionar los interrogantes
planteados.
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.
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? R: 468
b) ¿Cuántos encuestados usan solamente Samsung y Nokia? R: 264
c) ¿Cuántos encuestados usan solamente Iphone? R: 325
d) ¿Cuántos encuestados usan Samsung? R: 2254
  Identificación de los conjuntos
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

 Elaboración del Diagrama de Venn

U: 4047 IPHONE

325
X: 468
512 671
430

1048 264
329
SAMSUNG
NOKIA

 Descripción y argumentación de la solución del Problema

Para realizar este ejercicio tomo los datos que me dan de los tres operadores en común que serían
los 430, sigo con los de la intersección de los de Iphone y Nokia que son 1101 le resto los que
tienen en común que son los 430 iniciales que me dan y quedaria 671 en la interseccion, sigo con
la siguiente intersección que sería Sansung y Nokia e igual se resta los en comun con la cifra que
dan y nos da como resultado 264 en la intersección de estos dos operadores, y la otra seria Iphone
y Sansung nuevamente resto los que tienen en comun y me da 512 en la intersección de estos dos
operadores; sumo los datos que obtengo en el conjunto de solo Iphone que son 1613 y le resto a
la cifra inicial que nos dan que es 1938 arrojando el dato de los que utilizan solo Iphone que son
325, con el de Nokia realizamos lo mismo este nos da 1365 y le restamos el dato inicial que es
1694 y nos arroja 329 que solo utilizan Nokia, con el de Sansung es claro que nos dice que 1048
personas respondieron que SOLO usan Samsung, por lo tanto coloco la misma cifra dentro de los
que solo utilizan Sansung.
  Tarea 3: Leyes de Inferencia

Solucionar los siguientes enunciados y demostrar la validez del argumento dado a través de:
 Generar la tabla de verdad manualmente y a través del simulador Truth Table.
 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.

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.

En la seguridad vial es importante tener claro que ser precavido ayuda para evitar muchos accidentes.
Para implementar una campaña publicitaria, se ha planteado el siguiente argumento: “Si voy en
motocicleta y aumento la velocidad, llego temprano a la Universidad. No es cierto que, si
aumento la velocidad, gasto más combustible. Pasa que gasto más combustible o voy en
motocicleta. En conclusión, llego temprano a la Universidad”.

 p= voy en motocicleta
 q= aumento la velocidad
 r= llego temprano a la Universidad (Conclusión)
 s= gasto más combustible

Forma simbólica horizontal: (((p ∧ q) → r) ∧ (∼ (q → s)) ∧ (s ∨ p)) → r

 APLICACIÓN DE LAS REGLAS DE INFERENCIA

P1. (p ∧ q) → r
P2. ∼ (q → s)
P3. s∨p
C. r
P4. p S. P3
P5. p → (q → r) LE. P1
P6. q→r MPP. P5 – P4
P7. ~ q → ~s DM. P2
P8. s S. P3
P9. ~q MTT. P7 – P8
P10. r MTP. P6 – P9
  TABLA DE LA VERDAD

 TABLA DE VERDAD MANUAL:

p q r s (pʌq)→r ¬(q→s) ((pʌq)→r)ʌ(¬(q→s)) s∨p ((pʌq)→r)ʌ(¬(q→s))ʌ(s∨p) (((pʌq)→r)ʌ(¬(q→s))ʌ(s∨p))→r
F F F F T F F F F T
F F F T T F F T F T
F F T F T F F F F T
F F T T T F F T F T
F T F F T T T F F T
F T F T T F F T F T
F T T F T T T F F T
F T T T T F F T F T
T F F F T F F T F T
T F F T T F F T F T
T F T F T F F T F T
T F T T T F F T F T
T T F F F T F T F T
T T F T F F F T F T
T T T F T T T T T T
T T T T T F F T F T

Se puede comprobar por medio de las dos tablas que el resultado va a ser siempre verdadero por lo cual es
una tautología.