PENSAMIENTO LOGICO Y MATEMATICO

UNIDAD 3: TAREA 3: CLASIFICACION DE PROPOSICIONES

CATEGORICAS Y METODOS PARA PROBAR VALIDEZ DE
ARGUMENTOS

Estudiante
Luisa Fernanda Galván Duarte
Grupo No. 200611_1296

Tutor
Yenny Marisol Cayachoa

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Calamar – Guaviare. Abril 2019
 INTRODUCCION
En este trabajo veremos paso a paso todo acerca de las proposiciones
categóricas si son verdaderas y falsas, el mejor método para resolverlas,
identificando en su estructura sus partes como son el cuantificador, termino
sujeto, la cualidad o cúpula y el termino predicado, también aprenderemos a
identificar qué tipo de proposición es bien sea universal afirmativa A, universal
negativa E, particular afirmativa I, particular negativo O, aprenderemos a
establecer según el esquema cuando son contrarias o subcontrarias.
Encontraremos una segunda parte dedicada al razonamiento deductivo e
inductivo, en el cual aprenderemos a argumentar e identificar estos
razonamientos, por último, veremos cómo mediante una expresión simbólica
sacamos el mejor provecho de ella, donde aprenderemos a llevar lo simbólico al
lenguaje natural, analizaremos las tablas de verdad identificando, compararemos
estas manual - simulador UNAD, también mediante las leyes de inferencia
demostraremos la validez del ejercicio.
 OBJETIVOS

 Establecer la estructura de las proposiciones

 Determinar según sea el tipo de proposición (A, E, I, O)
 Establecer si las proporciones son contrarias o subcontrarias mediante el
esquema que nos proporcionen
 Identificar el razonamiento deductivo e inductivo
 Demostrar los métodos de las tablas de verdad
 Demostrar mediante leyes de inferencia la validez del argumento
 Ejercicio 1: Proposiciones categóricas

a) p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

Cuantificado Término Sujeto Cualidad o Término

r cúpula Predicado

Todos Estudiantes Ganan Curso

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

Clasificación de P: proposición tipo “A”

Universal afirmativo: cuantificador universal y cualidad afirmativo

 Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

Cuantificado Término Sujeto Cualidad o Término

r cúpula Predicado

Algunas Estudiantes No ganan Curso

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

Clasificación de q: proposición tipo “O”
 Particular Negativa: cuantificador particular y cualidad negativa

 De acuerdo con la determinación anterior y teniendo el siguiente

esquema, establezca si las proposiciones son contrarias, de
contingencia o subcontrarias. Requisito para este paso las
proposiciones deben tener el mismo término sujeto y predicado.

P y q son Contradictorias (uno verdadero y otro falso)

Ejercicio 2: Razonamiento Deductivo e Inductivo

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 a pagar ese dinero.

Premisa 1: Juan, Miguel y Alejandro son amigos

Premisa 2: Juan, Miguel y Alejandro le prestaron dinero a José, él no les
pago
 Premisa 3: José le pide nuevamente un préstamo a
Miguel
Conclusión: Miguel asume que no le va a pagar ese dinero

 Identificar si el razonamiento es deductivo o inductivo.

El razonamiento es INDUCTIVO

 Argumentar la respuesta con sus propias palabras.

El razonamiento utilizado es INDUCTIVO, ya que mediante los hechos

observamos que José les presto dinero a Juan, Miguel y Alejandro y no
les pago, se induce inmediatamente que esta vez tampoco le pagara a
Miguel.

Ejercicio 3: Problemas de aplicación

a. Expresión simbólica: [ ( r → ¬ q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬r

Premisas:

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

Conclusión: ¬r

 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.

p: David estudia Calculo Diferencial

q: David aprobó 4 materias en su carrera

 r: David inscribió 5 materias en su carrera

s: David estudia Calculo Integral

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural.

Si David inscribe 5 materias en su carrera entonces David no aprobó 4 materias

en su carrera, pero David estudia Calculo Diferencial o David estudia Calculo
Integral, igualmente David aprobó 4 materias en su carrera, aun cuando
inscribió 5 materias en su carrera, entonces David no estudia Calculo Integral.

 Generar una tabla de verdad manualmente a partir del lenguaje

Simbólico
El resultado de la tabla es una TAUTOLOGIA
 Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje simbólico.
  Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Encontramos que en las leyes de inferencia hay una que nos dice que:

Modo Tollendo Tollens (MTT)

P1= r→ s
P2= ¬ s

Entonces para mi ejercicio [ ( r → ¬ q ) ∧ ( p ∨ s ) ∧ ( q ∧ p ) ]→¬r

Premisas:
P1: ( r →¬ q )
P2:( p ∨s ) P4: p aplicando simplificación en P3
P3: ( q ∧ p ) P5: q aplicando simplificación en p3
P6: ¬ r aplicando MTT en P1y en la P5
Conclusión: ¬r ES VALIDA

Teniendo en cuenta el proceso cuando simplificamos (s) el cual es:

P∧ q o P∧ q
⸫p ⸫q
 CONCLUSION
Al finalizar esta actividad me siento muy satisfecha, ya que mediante ella pude
obtener los mas enriquecidos conocimientos acerca de los temas propuestos en
esta unidad, como son las proposiciones categóricas en las cuales identifique las
partes que conforman su estructura mediante el ejercicio planteado en la guía,
determine el tipo de proposición en mi ejercicio ayudándome de las lecturas
requeridas, de las web conferencias y ejemplos, también darme cuenta mediante
el esquema planteado si eran contrarias o subcontrarias.
Cabe destacar que esta actividad nos pone a jugar la imaginación para realizar
un buen argumento que quede acorde con lo requerido, pude identificar cuando
es un razonamiento deductivo e inductivo, mediante esta actividad también me
pude dar cuenta como de una expresión simbólica se puede sacar una excelente
argumentación ayudándome de sinónimos de conectores para que tenga
coherencia nuestro ejercicio, en cuanto a la realización de las tablas de verdad
me siento satisfecha, ya que se me ha hecho super fácil hacerlas, por ultimo
puedo decir que en general he aprendido mucho de estas y de las anteriores
actividades las cuales sé que me servirán mucho en un futuro.