Pensamiento Lógico Matemático

Unidad 3
Tarea 3 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.

Deyvis José Jinete Lamadrid

Código
73006182

200611_2251
No. De Grupo

Sandra Marleni Vallejo

Docente Tutor(a)

Universidad Nacional Abierta Y A Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Fecha 06/11/2019
 Introducción
Con esta actividad abordaremos 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, los cuales estudiaremos de una forma detalla
por medio de una serie de ejercicios propuestos por la tutora del
curso, donde pondremos en práctica las temáticas anteriormente
nombradas, para adquirir destrezas al momento de realizar tablas
de verdad, reconocer las proposiciones simples y compuestas, las
proposiciones categóricas, proposiciones contrarias, etc.
 Objetivos

 identifica en forma clara los métodos para demostrar la validez

de argumentos.
 aplicación correcta de las reglas de inferencia lógica.
 Conocer los razonamientos por inducción y deducción.
 Ejercicio 1: Proposiciones categóricas

Descripción del ejercicio

A continuación, encontrará las proposiciones categóricas para el

desarrollo del ejercicio 1:

p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

A partir de las proposiciones categóricas que haya seleccionado

deberá dar respuesta a los siguientes ítems:

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

ESTRUCTURA

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

Algunos Docentes son Ingenieros industriales

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

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

Particular afirmativo. Cuantificador particular y cualidad afirmativa.

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

ESTRUCTURA

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

Ningún Docente es Ingeniero industrial

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

Clasificación de q: Proposición tipo “E”

Universal negativa. Cuantificador universal negativo o Cuantificador

universal y cualidad negativa.

 Establecer si las proposiciones son contrarias, de

contingencia o subcontrarias.

De acuerdo al esquema propuesta 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:
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.

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

El razonamiento utilizado es el deductivo, ya que, a partir de hechos

conocidos como que el león es el rey de la selva y el poder de ataque
que tiene el león frente a todos los felinos.

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: [(𝑝 ∧ ¬𝑞) ∧ (𝑝 → ¬𝑟) ∧ (𝑞 ∨ ¬𝑠)] ⟶ (¬𝑟 ∧ ¬𝑠)

Premisas:

P1: 𝑝 ∧ ¬𝑞

P2: 𝑝 → ¬𝑟
P3: 𝑞 ∨ ¬𝑠

Conclusión: ¬𝑟 ∧ ¬𝑠

Desarrollo

 Proposiciones simples:

p: Los números pares son divisibles por dos.

q: El número 1 es un número natural.

r: El número 6 es menor al número 17.

s: La raíz cuadrada de 25 es 5

Los números pares son divisibles por dos y el numero 1 no es un

número real. Si los números pares son divisibles por dos entonces el
numero 6 no es menor al número 17. Si el número 1 es un número
natural o la raíz cuadrada de 25 no es 5. Por lo tanto, el numero 6
no es menor al número 17 y la raíz cuadrada de 25 no es 5.
 Generar la tabla de verdad manualmente

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

p q r s ¬𝑞 ¬𝑟
∧ ¬𝑞 → ¬𝑟 ∨ ¬𝑠 ∧ (𝑞 ∨ ¬𝑠)] ∧ ¬𝑠) ⟶ (¬𝑟 ∧ ¬𝑠)
V V V V F F F F F V F F V
V V V F F F V F F V F F V
V V F V F V F F V V F F V
V V F F F V V F V V F V V
V F V V V F F V F F F F V
V F V F V F V V F V F F V
V F F V V V F V V V V F F
V F F F V V V V V V V V V
F V V V F F F F V V F F V
F V V F F F V F V V F F V
F V F V F V F F V V F F V
F V F F F V V F V V F V V
F F V V V F F F V F F F V
F F V F V F V F V V F F V
F F F V V V F F V F F F V
F F F F V V V F V v F v V
Generar la tabla de verdad con el simulador Lógica Unad
 Conclusiones

Podemos concluir que el razonamiento deductivo, parte de lo general para llega a

lo particular, y que el argumento, la proposición, las premisas, la conclusión, los
axiomas y las reglas de inferencia son complementos del razonamiento deductivo,
por otra parte, el razonamiento inductivo parte de lo particular para llegar a lo
general.
 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.)

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84)

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

computación. (pp. 78 - 99). Ediciones Elizcom, Madrid.

Autores: Julián Pérez Porto y Ana Gardey. Publicado: 2013. Actualizado: 2015.
Definicion.de: Definición de razonamiento deductivo
(https://definicion.de/razonamiento-deductivo/)

Sánchez, H. R. (2014). Álgebra. (pp. 2- 30). México, D.F., México: Larousse -

Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&d
ocID=11046169&tm=1489706134764

Colegio24hs (2004). Silogismos y falacias. (pp. 27-53) Buenos Aires:

Colegio24hs. Recuperado
de http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=27&d
ocID=3157595&tm=1511207573036

Barker, S. F. (1991). Elementos de lógica (5a. ed.). (pp. 46 – 58). McGraw-Hill

Interamericana. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=63&
docID=3196124&tm=1527609747306