Pensamiento lógico y matemático

200611_810

Maira Paola Savedra Rincon

CC. 1.095.564.934

Unidad- 3

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

argumentos

Alberto Saldarriaga

Tutor

Cead

Universidad nacional abierta y a distancia

Escuela de Ciencias Sociales, Arte y Humanidades

Programa de Psicología

2019
 Introducción

En el siguiente trabajo, hablaremos sobre las preposiciones categóricas, es una preposición

que afirma o niega que todos o algunos de los miembros de una categoría (el término

sujeto) están incluidos en otra (el término predicado), para el desarrollo de este trabajo, fue

de gran importancia el encuentro con los profesores y seguir paso a paso la explicación para

que la actividad sea exitosa.

 Objetivos

 Comprender e identificar cuando una preposición es categórica, tablas de verdad en

proposiciones compuestas, álgebra de proposiciones, tautologías y contradicciones y
contingencias, proposiciones categóricas, cuantificadores

 Verificar pacientemente que las tablas de verdad y las premisas de las leyes de
inferencia y métodos para probar validez de argumentos se encuentren muy bien
elaboradas para el desarrollo del trabajo

 Identificar cuáles son los componentes de una proposición para generar

correctamente las premisas y la tabla de verdad.
Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:

a).

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

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

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

Todos Estudiantes Ganan Curso

 Universal afirmativa (Proposiciones -A): Todo S es P. Cuantificador Universal y

Calidad Afirmativa

 Clasificación de P: A

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

Algunos Estudiantes No ganan Curso

 Particular Negativa (Preposiciones -O): Algunos S no Son P, Cuantificador Particular

y Cualidad Negativa
 Clasificación de q: O

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

De acuerdo al esquema las premisas p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 2:

a. Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a
José, él no les pagó; ahora nuevamente José le pide a Miguel que le haga un
préstamo, inmediatamente Miguel asume que no le va pagar ese dinero.
Argumentación: La lógica que se utiliza es Deductivo. Por lo tanto, teniendo en
cuenta el caso que paso anteriormente los hechos conocidos de que José no les pago el
dinero prestado que le facilitaron sus amigos, se llega a una conclusión que si le
vuelven a prestar tampoco les va a pagar la plata y puede que se en esta ocasión
tampoco le pague el dinero
Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 3:

a. Expresión simbólica:

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Premisas:

P1: (r → ¬q)

P2:(p ∨ s)

P3: (q ∧ p)

Conclusión: ¬r

 Proposiciones simples:

p: Andrés perdió el semestre

q: Andrés perdió Psicobiología

r: Andrés hizo todo los Trabajos

s: Andrés gano todos los cursos

  Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje

natural. Las proposiciones simples deben ser de autoría de cada estudiante, por lo

que de encontrar proposiciones iguales entre estudiantes se considerara como

copia y se tomaran las medidas correctivas estipuladas por la UNAD.

Si Andrés hizo todos los trabajos entonces no perdió Psicobiología, Andrés perdió el
semestre o no ganó todos los cursos. Andrés perdió Psicobiología y perdió el semestre
entonces Andrés no hizo todos los trabajos.

p q r s ¬q ¬r (𝑟 → (𝑝 ∨ (𝑞 ∧ 𝑝) [(𝑟 → ¬𝑞) →¬r [(𝑟 → ¬𝑞) ∧

¬𝑞) 𝑠) ∧ (𝑝 ∨ 𝑠) (𝑝 ∨ 𝑠) ∧ (𝑞
∧ (𝑞 ∧ 𝑝)] ∧ 𝑝)] →¬r
v v v v f f f v v f v v
v v v f f f f v v f v v
v v f v f v f v v v v v
v v f f f v f v v v v v
v f v v v f v v f f v v
v f v f v f v v f f v v
v f f v v v v v f f f v
v f f f v v v v f f f v
f v v v f f v f f f v v
f v v f f f v f f f v v
f v f v f v v v f f f v
f v f f f v v v f f f v
f f v v v f v f f f v v
f f v f v f v f f f v v
f f f v v v v v f f f v
f f f f v v v v f f f v

 El resultado de la tabla de la verdad es: Tautología

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

leyes de inferencia: (Mediante la aplicación de las leyes de inferencia, demuestre la validez

del argumento, recuerde que para aplicar leyes de inferencia debe haber obtenido como
resultado una tautología en la tabla de verdad)

[(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] →¬r

Premisas:

P1: (r → ¬q)
P2: (p ∨ s)

P3: (q ∧ p)

Conclusión: ¬r

P4: q simplificación (S) (p,3)

P5: p Simplificando P, 3

P6: (r→¬q) TT en premisas (1,4)

P7: q ¬r TT en Premisas (1,4)

Conclusión: ¬r
 Conclusión

Finalmente, lo que se pretendía en el siguiente trabajo era comprender lo que significa las

proposiciones categóricas, leyes de inferencia y métodos para probar validez de

argumentos, tablas de verdad en proposiciones compuestas, álgebra de proposiciones,

tautologías y contradicciones y contingencias, proposiciones categóricas, cuantificadores,

ya que esto genera un amplio conocimiento para nosotros como estudiantes, en este trabajo

logré comprender de donde se desprende las proposiciones simples, las premisas en las

palabras y como la empleamos para la vida