ACTIVIDAD EVALUACIÓN FINAL

DANELLY RAMIREZ VALENCIA

Código 1039024563

PENSAMIENTO LÓGICO MATEMATICO

Docente

OSCAR JHONNY GÓMEZ SUÁREZ

Director del curso

Universidad Nacional Abierta y a Distancia – UNAD

Administración en salud

Jericó, 09 de Julio de 2016

 INTRODUCCION

La realización de este trabajo me ayudo a aplicar todo lo temas visto y aprehendidos

en el semestre, con diversos tipos de problemas desarrollados con el propósito de
poner a prueba mi capacidad frente a problemas más complejos. Para la elaboración
de estos ejercicios utilice herramientas que me permitieron adquirir habilidades para
comprender los conectivos lógicos que usamos diariamente en nuestro lenguaje y que
pocas veces nos detenemos a analizar y comprender.
Además de utilizar herramientas como el diagrama de venn que es una
representación gráfica, normalmente óvalos o círculos, que muestra las relaciones
existentes entre los conjuntos. Cada óvalo o círculo es un conjunto diferente. La forma
en que esos círculos se sobreponen entre si muestra todas las posibles relaciones
lógicas entre los conjuntos que representa. Por otra parte el simulador TRUTH es un
simulador de tabla de verdad con el fin de sistematizar el álgebra proposicional y
demostrar la construcción de las mismas, conforme a lo definido en el valor de verdad
de las proposiciones compuestas básicas: conjunción, disyunción, condicional y
bicondicional, como apoyo tecnológico en el desarrollo de los problemas planteados.
OBJETIVOS

OBJETIVO GENERAL:

 Identificar y utilizar de forma clara las leyes de inferencia lógica, los tipos de
falacias del lenguaje, los tipos de razonamiento, las diferentes proposiciones
categóricas, las proposiciones compuestas y proposiciones lógicas simples por
inducción y deducción en formulaciones y demostraciones de razonamientos
validos en situaciones específicas.

OBJETIVO ESPECIFICO:

 Desarrollar competencias necesarias para poder aplicar métodos de

demostración de la validez o de la no validez de un argumento dado.
 BANCO DE PROBLEMAS

En los numerales (1), (2), (3), (4) y (5) 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:
3. En una encuesta a 200 estudiantes unadistas se encontró que 68 habían
tomado cursos de Lógica, 138 habían tomado cursos de Inglés y 160 cursos de
Álgebra; 120, cursos de Inglés y de Álgebra; 20 cursos de Lógica pero no de
Inglés; 13 cursos de Lógica pero no de Álgebra; 15 cursos de Lógica y de Álgebra
pero no de Inglés.
Grupo G = 200 estudiantes.

Lógica = 68 (de 20. 13 no son de álgebra son de inglés, 15 de álgebra X sólo lógica)
13 + 15 + 20 + x = 68
48 + x = 68
x = 20 sólo Lógica.

Inglés = 138 (120 son de álgebra y 13 de lógica que obtenemos del razonamiento
anterior)
120 + 13 + y = 138
133 + y = 138
y = 5 sólo inglés

Algebra = 160 (120 con de inglés y 15 de lógica)

120 + 15 + z = 160
135 + z = 160
z = 25 sólo de álgebra
Y se obtiene que
200 estudiantes - 20 sólo inglés - 25 sólo álgebra - 5 sólo inglés - cursos
compartidos 13 - 20 - 15 - 100 = 2 dos estudiantes no tomaron cursos (ni de lógica ni
de álgebra ni de inglés.

200 - (20 + 5 + 25 + 13 + 20 + + 100 + 15) = 200 - 198 = 2

¿Cuántos de los entrevistados no tomaron cursos de Lógica ni de Álgebra ni de

Inglés?

R// Dos estudiantes no tomaron ningún curso.

En los numerales (6), (7), (8), (9) y (10) 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.
9. Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta
de tiempo, entonces no realizaré mis sueños. He aceptado el trabajo y he dejado
de jugar ajedrez. Por lo tanto, no realizaré mis sueños.

P: Acepto este trabajo

q: dejo de practicar el deporte que me apasiona por falta de tiempo
r. no realizare mis sueños

[(p v q) ^ (p ^ q)]  ¬ r

Tabla de verdad

p q r pvq p^q (p v q) ^ (p ^ ¬r [(p v q)^(p ^q ) ¬ r]

q)
v v v v v v f f
v v f v f f v v
v f v v f f f v
v f f v f f v v
f v v v f f f v
f v f v f f v v
f f v v f f f v
f f f f f f v v
R// Es una contingencia.

En los numerales (11), (12), (13), (14) y (15) 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.

15. “Si pago matrícula completa no me quedará dinero. Pero si no pago matrícula
completa no puedo matricularme en todos los cursos. Por otra parte, no
aprenderé Programación de computadores a menos que me compre un
computador, lo cual podré hacer sólo si me queda dinero. Además, si no me
matriculo en todas las clases no me compraré un computador. Como es un hecho
que pago matrícula completa o no pago matrícula completa entonces, con
seguridad, no aprenderé Programación de computadores”.
Es un razonamiento deductivo.

Identifico las proposiciones

P: pago la matrícula completa

Q: Me queda dinero

R: Me matriculo en todo los cursos

S: Aprendo programación de computadores

T: Me compro un computador

1: Si pago matrícula completa no me quedará dinero

𝑃 → ¬𝑄

2: Si no pago matrícula completa no puedo matricularme en todos los cursos

¬𝑃 → ¬𝑅

3: No aprenderé Programación de computadores a menos que me compre un

computador, lo cual podré hacer sólo si me queda dinero.

𝑄 → (𝑇 → 𝑆)

4: Si no me matriculo en todas las clases no me compraré un computador

¬𝑅 → ¬𝑇

5: Como es un hecho que pago matrícula completa o no pago matrícula completa

𝑃 ↮ ¬𝑃

6: No aprenderé Programación de computadores

¬𝑆

En orden
1: 𝑃 → ¬𝑄
2: ¬𝑃 → ¬𝑅
3: 𝑄 → (𝑇 → 𝑆)
4: ¬𝑅 → ¬𝑇
5: 𝑃 ↮ ¬𝑃
---------------
6: ¬𝑆

Tabla de verdad

((pv¬p)((¬qv¬r)¬t) ¬s
p q r s t ¬p pv¬p ¬q ¬r ¬q v ¬r ¬t (pv¬p)((¬qv¬r)¬t) ¬s ((pv¬p)((¬qv¬r)¬t) ¬s
v v v v v f v f f f f f f f
v v v v f f v f f f v f f v
v v v f v f v f f f f f v f
v v v f f f v f f f v f v v
v v f v v f v f v v f v f v
v v f v f f v f v v v v f v
v v f f v f v f v v f v v f
v v f f f f v f v v v v v v
v f v v v f v v f v f v f v
v f v v f f v v f v v v f v
v f v f v f v v f v f v v f
v f v f f f v v f v v v v v
v f f v v f v v v v f v f v
v f f v f f v v v v v v f v
v f f f v f v v v v f v v f
v f f f f f v v v v v v v v
f v v v v v v f f f f f f f
f v v v f v v f f f v f f v
f v v f v v v f f f f f v f
f v v f f v v f f f v f v v
f v f v v v v f v v f v f v
f v f v f v v f v v v v f v
f v f f v v v f v v f v v f
f v f f f v v f v v v v v v
f f v v v v v v f v f v f v
f f v v f v v v f v v v f v
f f v f v v v v f v f v v f
f f v f f v v v f v v v v v
f f f v v v v v v v f v f v
f f f v f v v v v v v v f v
f f f f v v v v v v f v v f
f f f f f v v v v v v v v v

R// Es una contingencia.

Veamos si se llega a 5

7: (5) por tabla 𝑃 ↮ 𝑃 ≡ 𝑉

Entonces el problema se reduce a

1: 𝑃 → ¬𝑄
2: ¬𝑃 → ¬𝑅
3: 𝑄 → (𝑇 → 𝑆)
4: ¬𝑅 → ¬𝑇
---------------
6: ¬𝑆

Se continúa así

8: (1, contraposición) 𝑄 → ¬𝑃
9: (8,2 Silogismo hipotético) 𝑄 → ¬𝑅
10: (3, contraposición) ¬𝑇 → ¬𝑄 → 𝑆
11: (4,10 Silogismo hipotético) ¬𝑅 → ¬𝑄 → 𝑆
12: (11, contraposición) 𝑄 → 𝑅 → 𝑆

Conclusión
13: (12, Importación)(𝑸 ∧ 𝑹) → 𝑺

En los numerales (16), (17), (18), (19) y (20) seleccionar uno de los siguientes
enunciados e identificar en dicho silogismo las diferentes proposiciones categóricas, y
proponer una representación mediante Diagramas de Venn de las diferentes relaciones
entre las clases implicadas, según las proposiciones categóricas:

19. Ningún submarino atómico es barco comercial.

Ningún buque de guerra es barco comercial.
Por lo tanto, los submarinos atómicos son buques de guerra.
Premisa 1: Ningún submarino atómico es barco comercial.
Premisa 2: Ningún buque de guerra es barco comercial.
Conclusión: Los submarinos atómicos son buques de guerra.

La conclusión no es válida.

Dados los numerales (21), (22), (23), (24) y (25), identificar, clasificar y explicar las
diversas falacias de lenguaje contenidas en las siguientes expresiones y el tipo de
razonamiento que se utiliza.

21. El profesor de guardia sorprende a Silvia fumando un cigarro, y la pide que lo

tire, puesto que no se puede fumar en el instituto. Silvia contesta indignada, que
no hay derecho a obligarla a apagar el cigarro, ya que muchos profesores fuman.
¿Está justificada la indignación de Silvia? ¿Está razonando falazmente? Si es así,
indica en qué tipo de falacia se basa su indignación.

Es una falacia no formal de tipo Falacia ad hominem

Razonamiento que, en vez de presentar razones adecuadas para rebatir una
determinada posición o conclusión, se ataca o desacredita la persona que la defiende

Esquema implícito:
A afirma p,
A no es una persona digna de
crédito.
Por lo tanto, no p
 CONCLUSIONES

 El razonamiento lógico se puede iniciar a partir de una observación (es decir, una
experiencia) o de una hipótesis. El proceso mental de análisis puede
desarrollarse de distintas maneras y convertirse en un razonamiento inductivo,
un razonamiento deductivo, etc. Según la clase de razonamiento empleada, la
conclusión tendrá mayor o menor posibilidad de resultar válida.
La conclusión encuentra su base en las premisas iniciales: el razonamiento
lógico es el camino que vincula ambas partes. El resultado del razonamiento
tendrá un cierto grado de probabilidad en cuanto a su veracidad, siempre que los
razonamientos lógicos sean válidos.
 REFERENCIAS

http://www.xtec.cat/~lvallmaj/preso/fal-log2.htm
https://matematexx.files.wordpress.com/2012/03/deduccion-logica.pdf
http://matematica1.com/diagramas-de-venn-en-el-silogismo-categorico-pdf/
http://www.miprofe.com.mx/sistema/inicio.php