PENSAMIENTO LÓGICO Y MATEMATICO

TRABAJO INDIVIDUAL

UNIDAD 3

GRUPO: 200611_1130

INTEGRANTE: VALENTINA JIMENEZ

TUTOR: JUAN DAVID LACHARME

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMATICO

2019
 INTRODUCCION

La lógica matemática nos brinda varios conceptos uno de ellos es acerca de las leyes de
inferencia y otro sobre cómo encontrar la veracidad por medio de las tablas de verdad. Con
estos podemos comprobar si una proposición es verdadera y a su vez por medio de las
tablas de verdad comprobamos las leyes de inferencia, es así como los conceptos mostrados
se unen y pueden ser evidenciados en los ejercicios de la tarea.
 SOLUCION/1

p: Ningún político es honesto

q: Algunos políticos son honesto

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Ningún Político es Honesto

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “E”.

Universal afirmativa. Cuantificador universal y cualidad negativa.

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado

Algunos Políticos Son Honestos

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “I”.

Particular negativa. Cuantificador particular y cualidad afirmativa.

 Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.

 p
p

De acuerdo al esquema propuesta p y q son contradictorias

SOLUCION/2

James Clerk Maxwel dice:

” Todas las ciencias matemáticas se basan en las relaciones entre las leyes físicas y las leyes
de los números, por lo que el objetivo de la ciencia exacta es reducir los problemas de la
naturaleza a la determinación de cantidades mediante las operaciones con números “.

Desarrollo: El razonamiento que se presenta de Maxwell es deductivo porque a partir de un

hecho general sobre las ciencias matemáticas, se puede deducir la conclusión sobre la ciencia
exacta.
 SOLUCION/3

Expresión simbólica:
[ ¬𝑝 → ¬𝑟 ∧ 𝑠 → ¬𝑞 ∧ 𝑠 ∧ 𝑟 ] → ¬𝑞
Premisas:
P1: ¬𝑝 → ¬𝑟
P2: 𝑠 → ¬𝑞
P3: 𝑠 ∧ 𝑟

Conclusión ¬𝑞

p: David estudia.

q: David va a la universidad regularmente.

r: David trabaja.

s: David estudia virtual.

Si David no estudia, entonces David no trabaja. Si David estudia virtual, entonces David no va a
la universidad regularmente. David estudia virtual y trabaja. Por tanto, David no va a la universidad
regularmente.
 ¬𝐩 → ¬𝐫 [ ¬𝐩 → ¬𝐫
p q r s ¬p ¬q ¬r ¬𝐩 → ¬𝐫 𝐬 → ¬𝐪 𝐬⟶𝐫 𝐬∧𝐫 ∧ 𝐬 → ¬𝐪 ∧ 𝐬 → ¬𝐪
∧ 𝐬∧𝐫 ∧ 𝐬 ∧ 𝐫 ] → ¬𝐪
V V V V F F F V F V V F V
V V V F F F F V V V F F V
V V F V F F V V F F F F V
V V F F F F V V V V F F V
V F V V F V F V V V V V V
V F V F F V F V V V F F V
V F F V F V V V V F F F V
V F F F F V V V V V F F V
F V V V V F F F F V V F V
F V V F V F F F V V F F V
F V F V V F V V F F F F V
F V F F V F V V V V F F V
F F V V V V F F V V V V V
F F V F V V F F V V F F V
F F F V V V V V V F F F V
F F F F V V V V V V F F V

Resultado de la tabla de verdad: TAUTOLOGÍA.

 P1: ¬𝑝 → ¬𝑟
P2: 𝑠 → ¬𝑞
P3: 𝑠 ∧ 𝑟

Conclusión ¬𝑞
P4: s Simplificación (3)
P5: ¬q Modus ponendo ponens (2 y 4)
 CONCLUSION

1. Las leyes de inferencia para poderse aplicar, se debe mostrar que son válidas y esto
puede realizarse con leyes de inferencia lógica.

2. La idea de la tarea fue cumplida a cabalidad, dado que logramos entender todos los
temas de la tercera unidad del curso.
 BIBLIOGRAFIA
https://www.google.com.co/search?q=relacion+entre+conjuntos&ei=k0EIW9LrCMO0zwKH3rK

QBw&start=80&sa=N&biw=1366&bih=637

http://ocw.bib.upct.es/pluginfile.php/10238/mod_resource/content/1/T1.pdf

http://euler.uc3m.es/matematicadiscreta/Auto/03relaciones.html

https://ar.answers.yahoo.com/question/index?qid=20100323104243AAlcbdy&guccounter=1

https://www.varsitytutors.com/hotmath/hotmath_help/spanish/topics/number-systems

http://discretasequipo7.blogspot.com.co/2014/11/relaciones.html