PENSAMIENTO LÓGICO MATEMÁTICO

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

argumentos

Yannisleth eliana thomas

COD: 46.382325
TUTORA:
ANDREA LIZBETH NOVA
GRUPO: 2139

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
2019
 INTRODUCCION

El presente trabajo pretende motivar a los estudiantes para con la ayuda de la lógica matemática
nosotros seamos capaces de encontrar estos relacionamientos, Lógica de proposiciones
categóricas permite describir razonamientos basados en enunciados Declarativos, cuantificadores
y las tablas de verdad da a conocer los valores de una Proposición compuesta, los cuales dependen
de los conectivos utilizados; mediante la Solución de ejercicios prácticos los cuales son asignados
mediante el desarrollo de la guía de la terea 3. Considero que si nosotros sabemos lógica
matemática podemos relacionar estos conocimientos con los de otras áreas para de esta manera
crear más conocimientos.
 OBJETIVOS

Conocer la importancia y aplicación de tablas de verdad en algunos ámbitos de la vida cotidiana y

verificar su validez

Proporciona a los alumnos los elementos básicos y conceptos de la lógica matemática y sus
relacionamientos, Lógica de proposiciones permite describir razonamientos basados en
enunciados Declarativos, cuantificadores y las tablas de verdad da a conocer los valores de una
Proposición compuesta, los cuales dependen de los conectivos utilizados; mediante la Solución de
ejercicios prácticos.
Ejemplos de desarrollo de los ejercicios de la tarea 3:

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

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

P:

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

Predicado

ALGUNOS DOCENTES SON INGENIEROS

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

Clasificación de p: Proposición tipo “E”.

 Universal negativa. Cuantificador universal negativo o

Cuantificador universal y cualidad negativa

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

Q:

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

Predicado

NINGUN DOCENTE ES INGENIERO

INDUSTRIAL

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

Clasificación de q: Proposición tipo “I”.

Particular afirmativa. Cuantificador particular y cualidad afirmativa

Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.
 p
p

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo

B. De todos los felinos, el león es el rey de la selva, ya que es el
felino más grande de África y por su melena pareciera que tuviese
corona. Su único potencial depredador es la hiena, pero solo si ésta
lo ataca en grupo; de lo contrario, hiena contra león tendrá como
muy probable vencedor al león.

Desarrollo

Argumentación: El razonamiento utilizado es el deductivo ya que al

tipo de depredador por el que se caracteriza al león por su potencial,
sería poco o nada probable que la hiena le llegara a vencer

Ejercicio 3: Problemas de aplicación

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

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

Conclusión: ¬ r ∧¬ s

P: eliana estudia psicología

q: participo en grupo de cipas

r: obtengo buenas calificaciones

s: es dedica al hogar
 p q r s [ ( p ∧¬q ) ∧ ( p → ¬r ) ∧ ( q ∨ ¬ s ) ] ⟶ (¬ r ∧¬ s )
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V

Es tautología
 REFERENCIAS
Proposiciones categóricas
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
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=3199701&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=4569631&tm=1529513879802
 
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869

Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las

matemáticas universitarias. México: McGraw-Hill Interamericana.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10473069