CURSO

PENSAMIENTO LOGICO MATEMATICO

PASO 7 - RESOLUCIÓN DE SITUACIONES PROBLÉMICAS DEL MUNDO REAL

DESDE LA LÓGICA MATEMÁTICA (EXAMEN NACIONAL POR ABP)

TUTOR

ROGER RICARDO NEGRETE

INTEGRANTE

KETTY PAOLA BENA ZABALETA

GRUPO: 200611_108

CÓDIGO DEL ESTUDIANTE

1.066.725.186

FECHA

24/MAYO/2018
 INTRODUCCIÓN

En el siguiente trabajo desarrollaremos ejercicios referentes a Métodos para probar la validez de

argumentos, se estudiará e identificarán las formas claras de las reglas de inferencias,

proposiciones simples, tabla de verdad, métodos de demostración, razonamientos lógicos de las

situaciones planteadas y a su vez la solución.

 OBJETIVOS.

General

 Estar en la capacidad de comprender, interpreta y aplicar los métodos para aprobar la

validez de un argumento.

Específicos

 El estudiante estará en la capacidad de aplicar conceptos, definiciones y leyes que

fundamentan las reglas de inferencia, tabla de verdad y método deductivo e inductivo.

 Representar de forma clara cada una situaciones planteadas por medio de ejemplos,

tabla de verdad manual y con el simulador y da solución a los interrogantes

planteados.

 Aplicar Ley del condicional, Silogismo Constructivo y Ley de contraposición e

identifica su composición.
 ACTIVIDADES A DESARROLLAR

Tarea 1: Proposiciones y tablas de verdad

c. {[p→(q∨r)]∧(s→∼q)∧(t→∼r)∧(p∧t)}→q

 Definición de las proposiciones simples

p: en el ambiente virtual hay 6 entornos de aprendizaje.

q: las proposiciones compuestas son aquellas que están estructuradas por 2 o más proposiciones.

r: los operadores lógicos son: ∨,→, ^, .

s: la lógica es un término griego que significa razón.

t: soy buena estudiante de pensamiento

 Lenguaje natural de la expresión formal

En el ambiente virtual hay 6 entornos de aprendizaje, entonces las proposiciones compuestas son

aquellas que están estructuradas por 2 o más proposiciones o los operadores lógicos son: ∨,→, ^, , y
la lógica es un término griego que significa razón. Entonces no es cierto que las proposiciones
compuestas son aquellas que están estructuradas por 2 o más proposiciones o soy buena estudiante de

pensamiento. Entonces no es cierto los operadores lógicos son: ∨,→, ^, ; y en el ambiente virtual
hay 6 entornos de aprendizaje y soy buena estudiante de pensamiento. Entonces las proposiciones
compuestas son aquellas que están estructuradas por 2 o más proposiciones.
 {[p→(q∨r)]∧(s→∼q)∧(t
[p→(qvr)]^(s→~q)^(t→~r)^(p^
P q R s T ~q ~r qvr s→~q t→~r p^t p→(qvr) [p→(qvr)]^(s→~q) [p→(qvr)]^(s→~q)^(t→~r) →∼r)∧(p∧t)}→q
t)

V V V V V F F V F F V V F F F V
V V V V F F F V F V F V F F F V
V V V F V F F V V F V V V F F V
V V V F F F F V V V F V V V F V
V V F V V F V V F V V V F F F V
V V F V F F V V F V F V F F F V
V V F F V F V V V V V V V V V V
V V F F F F V V V V F V V V F V
V F V V V V F V V F V V V F F V
V F V V F V F V V V F V V V F V
V F V F V V F V V F V V V F F V
V F V F F V F V V V F V V V F V
V F F V V V V F V V V F F F F V
V F F V F V V F V V F F F F F V
V F F F V V V F V V V F F F F V
V F F F F V V F V V F F F F F V
F V V V V F F V F F F V F F F V
F V V V F F F V F V F V F F F V
F V V F V F F V V F F V V F F V
F V V F F F F V V V F V V V F V
F V F V V F V V F V F V F F F V
F V F V F F V V F V F V F F F V
F V F F V F V V V V F V V V F V
F V F F F F V V V V F V V V F V
F F V V V V F V V F F V V F F V
F F V V F V F V V V F V V V F V
F F V F V V F V V F F V V F F V
F F V F F V F V V V F V V V F V
F F F V V V V F V V F V V V F V
F F F V F V V F V V F V V V F V
F F F F V V V F V V F V V V F V
F F F F F V V F V V F V V V F V

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

TAUTOLOGIA: Porque todos lo resultados son verdaderos

 tarea 2: Teoría de Conjuntos

● Identificación de los conjuntos

● Elaboración del Diagrama de Venn
● Descripción de la solución del Problema
● Argumentación de la validez de su respuesta

A. 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:

U
 a) ¿Cuántos encuestados no usan celular?

326+512+158+264+329+671=1357

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

264

c) ¿Cuántos encuestados usan solamente Iphone?

 326

d) ¿Cuántos encuestados usan Samsung?

158+284+512+430=1364

Tarea 3: Leyes de Inferencia

● 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
● La motivación es muy importante en los equipos de trabajo, por eso un CEO muy
reconocido ha dado el siguiente argumento en una conferencia de prensa a nivel
internacional: “No es cierto que el Líder no impone sus ideas o los equipos de trabajo no
funcionan, los proyectos de la empresa se ejecutan. Los proyectos de la empresa se
ejecutan y los empleados son premiados. Si los proyectos de la empresa se ejecutan, se
hace un reconocimiento al equipo. No se hace un reconocimiento al equipo. Por lo tanto,
el Líder impone sus ideas”
 r r
~~ ~ ~ ~t→
P Q R S T ~~pv~q → → (~~pv~q)^r [(~~pv~q)^r]^(r→s) [(~~pv~q)^r]^(r
P q t p
s t
V V V V V V F F V V V V V V V
V V V V F V F V V V F V V V F
V V V F V V F F V F V V V F F
V V V F F V F V V F F V V F F
V V F V V V F F V V V V F F F
V V F V F V F V V V V V F F F
V V F F V V F F V V V V F F F
V V F F F V F V V V V V F F F
V F V V V V V F V V V V V V V
V F V V F V V V V V F V V V F
V F V F V V V F V F V V V F F
V F V F F V V V V F F V V F F
V F F V V V V F V V V V F F F
V F F V F V V V V V V V F F F
V F F F V V V F V V V V F F F
V F F F F V V V V V V V F F F
F V V V V F F F F V V V F F F
F V V V F F F V F V F F F F F
F V V F V F F F F F V V F F F
F V V F F F F V F F F F F F F
F V F V V F F F F V V V F F F
F V F V F F F V F V V F F F F
F V F F V F F F F V V V F F F
F V F F F F F V F V V F F F F
F F V V V F V F V V V V V V V
F F V V F F V V V V F F V V F
F F V F V F V F V F V V V F F
F F V F F F V V V F F F V F F
F F F V V F V F V V V V F F F
F F F V F F V V V V V F F F F
F F F F V F V F V V V V F F F
F F F F F F V V V V V F F F F

Aplicación de las reglas de inferencia

Uso de reglas de inferencia.
P1: ⌐ {(⌐pV⌐q) ⟶r}
P2: (r∧ s)
P3: (r⟶ t)
P4: ⌐ t
Conclusión P
P5: ⌐ r MTTP3, P4
P6: (⌐p V ⌐q) ⟶r NEGACIÓN P1
P7: ⌐ (⌐pV⌐q) MTT P5, P6
P8: ⌐pV⌐q NEGACION P7
P9: ⌐(p∧q) LEY DE MORGAN P8
P10: p∧q NEGACION P9
P11: P SIMPLIFICACION DE P10
 CONCLUSIONES

Por medio del anterior trabajo el estudiante tiene la capacidad de plantear solución a cualquier

situación planteada, y representarla en el lenguaje natural y determinar el valor de verdad así

 REFERENCIAS BIBLIOGRÁFICAS

Rodríguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest

(Ed). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal.

Volumen I: conjuntos numéricos, complementos. (pp. 17-29). Madrid, España: Editorial

Tébar Flores. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=18&docID=10995629&tm=1489710145734

Curo, A., & Martínez, M. (2013). Matemática básica para administradores. Lima, Peru: Editorial

UPC. Páginas 22 - 27. Recuperado de http://bibliotecavirtual.unad.edu.co:2048/login?

url=http://search.ebscohost.com/login.aspx?

direct=true&db=e000xww&AN=1042768&lang=es&site=ehost-

live&ebv=EB&ppid=pp_1

Zazueta B. L. Cálix L. C. (2008). "¿Qué es una tabla de verdad?" Lógica II. Primera Edición. (pp.

91 – 197). México D.F., México: Universidad Autónoma de Sinaloa.  Recuperado de

http://uaprepasemi.uas.edu.mx/libros/1er_SEMESTRE/8_Logica_I.pdf

 Villalpando, B. J. F. (2000). "... como observa las proposiciones p y q". En ProQuest

(Ed). Matemáticas discretas: aplicaciones y ejercicios. (pp. 29 – 38). Guadalajara,

México: Larousse - Grupo Editorial Patria. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=11013570&ppg=30 

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:

Grupo Editorial Patria. Páginas 80- 84 Recuperado

 de  http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=91&docID=11230887&tm=1496180214861

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas universitarias.

México: McGraw-Hill Interamericana. Recuperado

de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

docID=10473069

http://razonamientologico12unefa.blogspot.com.co/2008/06/leyes-de-la-lgica-proposicional-

y_16.html

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