PENSAMIENTO LOGICO Y MATEMATICO

Tarea 3 - Clasificación de proposiciones categóricas y Métodos para probar validez de

argumentos

Presentado a:
EVER ANTONIO POLO

Entregado por:
William torres moran

Grupo: 200611_660

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

FACULTAD INGENIERIA ELECTRONICA
Abril 2019
 INTRODUCCION

El razonamiento lógico es un proceso mental en el cual interviene la aplicación

de formas, métodos y principios enmarcados en la validez de algunas premisas
que llevan a una conclusión que puede identificarse como verdadera o no. Este
puede convertirse en inductivo o deductivo donde la conclusión presenta un
grado de probabilidad determinado por su validez.
 OBJETIVOS

Fortalecer los conceptos y temas adquiridos en las unidades de lógica matemática.

Dar uso a las formas básicas de las tablas de verdad.

Demostrar la validez o no validez de situaciones problemas por medio de los

principios de lógica.

Demostrar la validez o no validez de situaciones problemas por medio de las leyes

de inferencia lógica.

Analizar y plantear una solución grupal a la situación problema sugerida en la guía

.
 DESARROLLO DE LA ACTIVIDAD

EJERCICIO 1: PROPOSICIONES CATEGÓRICAS

PROPOSICIONES CATEGÓRICAS:

p: todos los abogados son muy profesionales

q: Algunos abogados no son muy profesionales

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

Cuantificador Termino sujeto Cualidad o cúpula Termino predicado
todos abogados son profesionales

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

Clasificación de p: proposición tipo A
Universal afirmativa. Cuantificador universal y cualidad universal

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

Cuantificador Termino sujeto Cualidad o cúpula Termino predicado
algunos abogados No son profesionales

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

Clasificación de q: proposición tipo O
Particulares negativos. Cuantificador particular y cualidad negativa
  Establecer si las proposiciones son contrarias, de contingencia o
sub contrarias.

De acuerdo al esquema propuesta p y q son CONTRADICTORIAS.

Ejercicio 2: Razonamiento Deductivo e Inductivo

ARGUMENTO

e. Los estudiantes de las universidades que son a Distancia, utilizan los medios
informáticos para estudiar, Claudia es estudiante de Pensamiento Lógico
Matemático de la UNAD. Claudia muy seguramente utiliza los medios
informáticos para estudiar. A partir del razonamiento que haya seleccionado,
deberá dar respuesta a los siguientes ítems:

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

DESARROLLO

Argumentación: El razonamiento utilizado es el inductivo, ya que este es el

razonamiento que se basa en hechos y que concluyen cosas que son certeras,
no hay nada más preciso que los números,

Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [(𝑝 ⟶ 𝑞) ∧ (∼ 𝑟 ⟶ 𝑠) ∧ (𝑝 ∨∼ 𝑟)] ⟶ (𝑞 ∨ 𝑠)

Premisas:

P1: (𝑝 ⟶ 𝑞)

P2: (∼ 𝑟 ⟶ 𝑠)

P3: (𝑝 ∨∼ 𝑟)

Conclusión: (𝑞 ∨ 𝑠)

A partir de la expresión simbólica seleccionada, el estudiante deberá:

Definir las proposiciones simples, tendrá la libertad de definirla bajo una

descripción basada en un contexto, el que se solicita es un contexto
académico,
 ~r p→ ~𝑟 p∨∼ (qvs (p→q)ᶺ( (p→q)ᶺ(∼ (p→q)ᶺ(∼

p q r s q →𝑠 𝑟 ) ∼ 𝑟 → 𝑠) 𝑟 → 𝑠) ∧ 𝑟 → 𝑠) ∧

(𝑝 ∨∼ 𝑟) (𝑝 ∨∼

𝑟) → (𝑞 ∨

v v v v f v v v v v v

v v v f f v v v v v v

v v f v v v v v v v v

v v f f v v f v f f v

v f v v f f v v f f v

v f v f f f v v f f v

v f f v v f v v f f v

v f f f v f f v f f v

f v v v f v v f v f v

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

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

f v f f v v f v f f v

f f v v f v v f v f v

f f v f f v v f v f v

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

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

 Resultado de la tabla de verdad: TAUTOLOGIA

 Generar la tabla de verdad con el simulador Lógica UNAD
 CONCLUSIONES

Reforzamos los conocimientos adquiridos en la anterior unidad al dar usode las

formas básicas de las tablas de verdad, los principios de lógica y los razonamientos
lógicos para demostrar la validez o no validez de las situaciones problemas propuestas.

Analizamos en grupo la situación problémica sugerida en la guía pormedio de las

inferencias lógicas y las leyes de inferencia planteando una solución

REFERENCIAS BIBLIOGRÁFICAS
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito
Federal, MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=4
569631&tm=1529336365580

Leyes de Inferencia

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas

y computación. (pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=3
199701&tm=1529336485971

Tipos de Razonamiento

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

Federal, MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID=4
569631&tm=1529513879802