CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

Grupo:200611 _ 261

ELABORADO POR:
LIGIA JOHANA PINEDA RAMIREZ
cc. 40181715

PRESENTADO A TUTOR:
NORBERTO ALEJANDRO
VASQUEZ GOMEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

CONTADURIA PÚBLICA
PUERTO ASI
8/02/2020
 TABLA DE CONTENIDO

INTRODUCCIÓN..................................................................................................................3
OBJETIVOS...........................................................................................................................4
CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA
PROBAR VALIDEZ DE ARGUMENTOS...........................................................................5
CONCLUCIONES................................................................................................................12
REFERENCIAS BIBLIOGRÁFICA....................................................................................13
 INTRODUCCIÓN

En los siguientes ejercicios practico y teóricos conoceremos los temas, Proposiciones

simples y compuestas, proposiciones categóricas, proposiciones contrarias de contingencia y
subcontrarias. Tablas de verdad, métodos de demostración, razonamientos lógicos,
inferencia lógica y argumentos lógicos., cuantificadores, que a través de ellos
comprenderemos los conceptos fundamentales de la lógica proporcional y los aplicaremos
para la resolución de problemas. Los conceptos y la temática desarrollada nos ayuda en la
toma decisiones en nuestro diario vivir.
OBJETIVOS

Objetivos General

 Desarrollar todos los ejercicios C propuestos por la guía de actividades

Objetivos Específicos

 Aplicar los conceptos vistos en el curso de pensamiento lógico matemático

 Usar los conceptos lógicos en cada uno de los tres ejercicios propuestos
 CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA PROBAR
VALIDEZ DE ARGUMENTOS

Ejercicio 1: Proposiciones categóricas

C).
p: Todos los tutores son magister.
q: Algunos tutores no son Magister

Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA
Cuantificador Término Sujeto Cualidad o Cúpula Término Predicado
Todos Tutor Son Magister

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

Clasificación de p: Proposición tipo “A”

Universal afirmativa. Cuantificador universal y cualidad afirmativa.

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

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

Algunos Tutores no son Magister

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

Clasificación de q: Proposición tipo “O”.
Particular negativa. Cuantificador particular y cualidad negativa.
Establecer si las proposiciones son contrarias, de contingencia o subcontrarias.
De acuerdo al esquema propuesto p y q son contradictorias
Ejercicio 2: Razonamiento Deductivo e Inductivo

 Identificar si el razonamiento es deductivo o inductivo.

 Argumentar la respuesta con sus propias palabras.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes
Ítems

C)
Ana, Juan, Pedro y Lucas son hermanos. Ana tiene hambre. Lucas
Tiene hambre también. Entonces Juan también tiene hambre.
Solución:

1. Aplicando el conocimiento adquirido del material asignado, para el proceso de

aprendizaje en esta unidad, puedo decir que este razonamiento es INDUCTIVO

2 .Teniendo presente lo anteriormente anunciado puedo deducir que el razonamiento es

inductivo, Partiendo que en un suponer de un suceso puede ser que, se cumpla para todo el
enunciado o no se cumpla para todo en este caso se cumple para Ana y Lucas pero no para
todos, aunque son hermanos Ana, Juan, Pedro y Lucas ya no viven juntos por lo tanto
tienen diferentes horarios para consumir sus alimentos.
Ejercicio 3: Problemas de aplicación

C)

Expresión simbólica: [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)

Premisas
P1: p ⟶ q
P2: ∼ r ⟶ s
P3: p ∨∼r
Conclusión: q ∨ s

Desarrollo:

Proposiciones simples

p: estudia para el examen

q: obtiene buenas notas

r : va a la celebración

S: gana el examen

•Razonamiento en lenguaje natural

Si Maria estudia para el examen final , entonces obtiene buenas notas, su mejor amiga

esta de aniversario la invita a su celebración, y si Maria no va a la celebración entonces

gana el examen y Maria estudia para el examen o no va a la celebración entonces Maria

obtiene buenas notas.

  Generar la tabla de verdad manualmente:

 [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)
  Tabla de verdad con el simulador Lógica UNAD

 [ ( p ⟶ q ) ∧ ( ∼r ⟶ s ) ∧ ( p ∨ ∼r ) ]⟶ (q ∨ s)

Resultado tabla de verdad

Una tautología
Leyes de inferencia:

 Demostración de la validez del argumento mediante las leyes de la inferencia

lógica
 Premisas:
 P1: p ⟶ q
 P2:( ∼ r ⟶ s )
 P3: ( p ∨∼r )
 P4: ( ∼ r )
 P5: ( q ∨ s )
 C: q ∨ s

SH P2 CON P3
 P2:( ∼ r ⟶ s )
 P3: ( p ∨∼r )
P6:( q ⟶ s )

MTP P1 Y P4
 P1:( p ∨q )
 P4: ( ∼ r )
P7:s

MPP P6 Y P7
 P6:( q ⟶ s )
 P7:s
P8: q

MPP P5 CON P8
 P5: ( p ⟶ q )
 P8: q
 (q ∨ s )
 CONCLUCIONES

Este taller de lógica matemática me permitió comprender nuevas teorías que aumentaron
mi conocimiento acerca de lógica, de cualquier asunto no solo en matemáticas, también
cada vez que conozco nuevas teorías comprendo más, sobre estos temas en relación con
pensamiento lógica vemos que no es ajeno a nuestro diario vivir, atravez del desarrollo
de los temas e comprendo la importancia del pensamiento lógico.
 REFERENCIAS BIBLIOGRÁFICA

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=4569631&tm=1529336365580

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=4569631&tm=1529513879802

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=3199701&tm=1529336485971

Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado

de http://hdl.handle.net/10596/13869

Simulador Lógica UNAD:

http://logicaunad.com/jtruth/