Está en la página 1de 12

PENSAMIENTO LOGICO MATEMATICO

EXAMEN NACIONAL

NOMBRE:

CC:

TUTOR:

GRUPO: 200611-29

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


PROGRAMA: INGENIERIA INDUSTRIAL
POPAYAN, CAUCA
05 DICIEMBRE DE 2017
OBJETIVOS

 Desarrollar la actividad con el fin de consolidar los conocimientos adquiridos en las


unidades anteriores sobre cómo usar estos conceptos en la solución de problemas
 Analizar las diferentes unidades sobre teoría de conjuntos, proposiciones simples o
compuestas leyes de inferencia,
 Usar los diagramas de Venn, tablas de verdad, leyes de inferencia para demostrar
gráficamente la solución de los problemas
 Aplicar estos conceptos adquiridos para dar solución a cualquier problema que se no
presente en nuestro entorno
INTRODUCCIÓN
Al recopilar los conceptos vistos en las diferentes unidades sobre teoría de conjuntos,
proposiciones lógicas, leyes de inferencia y el uso de las diferentes maneras de
demostración como diagramas de Venn, tablas de verdad y el uso de las leyes de inferencia
los cuales nos dan la facilidad de demostrar de forma fácil la veracidad o falsedad de las
expresiones propuestas, además de ello tener la capacidad de transformar las proposiciones
a un lenguaje formal, donde usamos conectivos para lograr demostrar con argumentos la
veracidad o falsedad de cualquier proposición
aplicar las propiedades y las operaciones con conjuntos y validar los
procesos con el uso de Diagramas de Venn para la solución de cada
problema:

1. En una encuesta realizada por una empresa de Telecomunicaciones a


un grupo de 26 personas que han realizado al menos una llamada,
sea ésta local, nacional o internacional, se obtuvo la siguiente
información: 23 personas han realizado llamadas nacionales o
internacionales. 5 personas han hecho llamadas locales y nacionales.
12 personas han hecho llamadas internacionales pero no locales. El
número de personas que han hecho sólo llamadas nacionales es igual
al doble de personas que han hecho sólo llamadas internacionales y
locales pero no nacionales.

Entonces, ¿el número de personas que han hecho llamadas locales


es?

23 personas han realizado llamadas nacionales o internacionales


5 personas realizaron llamadas locales y nacionales
12 personas realizaron llamadas internacionales pero no locales

1 5

I 11 L
4 3
2x+x+11=23
3x=12
X=12/3
X=4

Respuesta
El número de personas que han hecho llamadas locales es 12 personas

Identificar todas las expresiones que considera son proposiciones lógicas


simples y también las expresiones que no son proposiciones. El siguiente paso
es identificar proposiciones compuestas. Para lograr esta identificación,
conviene reescribir el texto resaltando los conectivos lógicos que no están
explícitos en la expresión. Declarar las proposiciones simples, asignando una
de las últimas letras del alfabeto para identificarlas. Finalmente, expresar en
lenguaje simbólico las proposiciones simples, compuestas identificadas; y
construir sus tablas de verdad. Determinar si la tabla de verdad es tautología,
contradicción o contingencia. Además adjuntar pantallazo del uso del simulador
de Tablas de Verdad.

2. Un número es divisible por 2 si la última cifra de dicho número es múltiplo


de 2. Un número es divisible por 3 si la suma de las cifras de dicho número
es múltiplo de 3. Pero dicho número no es divisible por 2 o no lo es por 3.
Por tanto, la suma de las cifras de un número no es un múltiplo de 3 si la
última cifra de un número es múltiplo de 2.

Lenguaje formal

P= numero divisible por 2


Q= última cifra es múltiplo de 2
R= numero divisible por 3
S= la suma de la cifra es múltiplo de 3
C = la suma de la cifra no es múltiplo de 3 si la última cifra es múltiplo de 2

[(q → p) ˄ (s → r) ˄ (¬p ˅ ¬r)] → (q → ¬s)


TABLA DE VERDAD

p q r s ¬p ¬r ¬s q→ p s→r ¬p ˅ ¬r q→¬s (q→ p) ˄ [(q→ p) ˄ ( s → [(q→ p) ˄ ( s → r)] ˄ ( ¬p ˅ ¬ r)]


(s → r) r)] ˄ ( ¬p ˅ ¬ r) → (q→ ¬s)

v v v v f f f v v f f v f v
v v v f f f v v v f v v f v
v v f v f v f v f v f f f v
v v f f f v v v v v v v v v
v f v v f f f v v f v v f v
v f v f f f v v v f v v f v
v f f v f v f v f v v f f v
v f f f f v v v v v v v v v
f v v v v f f f v v f f f v
f v v f v f v f v v v f f v
f v f v v v f f f v f f f v
f v f f v v v f v v v f f v
f f v v v f f v v v v v v v
f f v f v f v v v v v v v v
f f f v v v f v f v v f f v
f f f f v v v v v v v v v v

El resultado de la tabla es tautología

Demostración por leyes de inferencia


P1: q→ p
P2: s → r
P3: ¬p ˅ ¬r
C: q → ¬s

P5: q
P6: p (p1, p5 MP)
P7: ¬r (p3, p6 MTP)
P8: ¬s (p2, p7 MTT)
Simulador truth

Identificar (del texto dado), los razonamientos lógicos inductivos y


deductivos, y en ellos el tipo de razonamiento. A partir de los
razonamientos propuestos para el texto, responder la pregunta: ¿Se
verifica la conclusión propuesta? Y presentar argumentos que permitan
respaldar veracidad a la respuesta dada. Es decir, a partir de las tablas
de verdad y las leyes de inferencia demostrar la validez o no del
razonamiento. Además adjuntar pantallazo del uso del simulador de
Tablas de Verdad.

3. Si el estudiante Unadista se enfoca siempre por su sentido de la


responsabilidad, tiene que renunciar al disfrute de muchas
diversiones, y si se guía siempre por su gusto de divertirse, a
menudo olvidará su responsabilidad. O bien el estudiante Unadista se
guía siempre por su sentido de la responsabilidad, o bien siempre se
orienta por su gusto de diversión. Si el estudiante Unadista se guía
siempre por su sentido de la responsabilidad, no descuidará a
menudo su responsabilidad, y si siempre se guía por su deseo de
diversión, no renunciará al disfrute de muchas diversiones. Luego, el
estudiante Unadista debe renunciar al disfrute de muchas diversiones
si y sólo si no descuida a menudo su responsabilidad por aprender.
Lenguaje formal

P= estudiante responsable
q= disfruta de diversiones
r= se guía por su gusto de diversión
s= descuida su responsabilidad por aprender

[(p → q) ˄ (r →s) ˄ (p ˅ r) ˄ (p →¬s) ˄ (r→¬q)] → (q↔¬ s)

TABLA DE VERDAD

p q r s ¬q ¬s p→ r→ p˅ p→ r→ q↔ (p → [(p → q) ˄ [(p → q) ˄ [(p → q) ˄ [(p → q) ˄


q s r ¬s ¬q ¬s q) ˄ (r (r → s)] ˄ (r → s) ˄ (r → s) ˄ (r → s) ˄
→ s) (p ˅ r) (p ˅ r)] ˄ (p ˅ r) ˄ (p ˅ r) ˄
p → ¬s (p → ¬s)] (p → ¬s) ˄
˄ (r → ¬q) (r → ¬q)] →
(q ↔ ¬ s)
v v v v f f v v v f f f v v f f v
v v v f f v v f v v f v f f f f v
v v f v f f v v v f v f v v f f v
v v f f f v v v v v v v v v v v v
v f v v v f f v v f v v f f f f v
v f v f v v f f v v v f f f f f v
v f f v v f f v v f v v f f f f v
v f f f v v f v v v v f f f f f v
f v v v f f v v v v f f v v v f v
f v v f f v v f v v f v f f f f v
f v f v f f v v f v v f v f f f v
f v f f f v v v f v v v v f f f v
f f v v v f v v v v v v v v v v v
f f v f v v v f v v v f f f f f v
f f f v v f v v f v v v v f f f v
f f f f v v v v f v v f v f f f v
Tabla de verdad es tautología

Demostración por leyes de inferencia

P1: p → q

P2: r → s

P3: p ˅ r

P4: p → ¬s

P5: r → ¬q

C: q ↔ ¬s
Paso 1. → ¬s

P6: q

P7: ¬r (p5,p6 MTT)

P8: p (p3, p7 MTP)

P9: ¬s (p1,p8 MPP

P1: p → q

P2: r → s

P3: p ˅ r

P4: p → ¬s

P5: r → ¬q

C: q ↔ ¬s

Paso 2. q←

P6: ¬s

P7. ¬r (p2,p6 MTT)

p8: p (p3,p7 MTP)

p9: q (p1,p8 MPP)


Simulador Truth
CONCLUSIONES
Después de haber recopilado los conceptos encontrados en las diferentes unidades. Se
puede concluir que gracias a la información que nos brindó estas unidades, logre
comprender analizar y dar solución de los diferentes problemas propuestos en esta actividad
y de esta manera afianzar mis conocimientos sobre los temas tratados los cuales me
permitan dar solución a los diferentes problemas que se me presenten en entorno donde
habito.
BIBLIOGRAFÍA
Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En ProQuest ebrary
(Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp. 24 – 34). Córdoba, Argentina: El Cid
Editor. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID=100757
82&tm=1489706755797
Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30). México, D.F.,
México: Larousse - Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID=110461
69&tm=1489706134764
Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo Proposicional". En
ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de aplicación. Guadalajara, México:
Larousse - Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&ppg=
30
Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. Guadalajara,
México: Larousse - Grupo Editorial Patria. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=11046
000&tm=1489704594878
Gonzáles, T. L., & Saavedra, M. (2009). "Lógica". En ProQuest (Ed). Aciertos matemáticos 11: serie
para la educación media. Bogotá, Colombia: Educar Editores S.A. Recuperado de

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=103452
86&tm=1489705371767
Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones. Recuperado
de

http://hdl.handle.net/10596/7961
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=109956
29&tm=1489710145734
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