EJERCICIO 1: PROPOCISIONES Y TABLA DE LA VERDAD

PRESENTADO POR:

YENIFER PARRA CLAROS

NUMERO DEL CURSO

200611C_954

TUTOR:

ERNESTO ARAUJO CHAVARRO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LÓGICO Y MATEMÁTICO

URD – SAN VICENTE DEL CAGUAN CAQUETA

18/09/2021
 Introduccion

El trabajo se basa Unidad 1-metodos para probar validez de argumentos, se considera el

aprendizaje lógico como un componente practico aplicado a los diferentes aspectos de la vida, se

presentan actividades individuales que concluyen en el aprendizaje de Proposiciones y Tablas de

Verdad reforzando los conocimientos evaluativos con estrategia de aprendizaje como la utilización

de un simulador virtual.
 Objetivo

Comprender los conceptos fundamentales de las proposiciones y tabla de la verdad de igual manera

dar solución los ítems de cada ejercicio, del igual manera las leyes de la inferencia en esta actividad

es de gran importancia a la hora de realizar las operaciones matemáticas.

Ejercicio 1: Proposiciones y tablas de verdad

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

 Proposiciones simples

P: Hay protestas en contra la reforma tributaria en Colombia

q: Desde el inicio de las manifestaciones el dólar subió

r: La reforma tributaria desata violencia

 Lenguaje simbólico
(𝒑∨𝒒)→(𝒒∧𝒓)

 Lenguaje Natural

Si Hay Protestas en contra la reforma tributaria en Colombia. O Desde el inicio de las

manifestaciones el dólar subió, entonces, Desde el inicio de las manifestaciones el dólar

subió Y la reforma tributaria desata violencia.

 Tabla manual

P q r (p ∨ q) (𝒒 ∧ 𝒓) (𝒑∨𝒒)→(𝒒∧𝒓)
V V V V V V
V V F V F F
V F V V F F
V F F V F F
F V V V V V
F V F V F F
F F V F F V
F F F F F V
 Se clasifica como: Contingencia.

 Tabla de verdad Simulador UNAD

 Video de las proposiciones y tabla de la verdad

https://youtu.be/AxL7MOf0LMQ
Ejercicio 2: Identificación de las reglas de la inferencia lógica

 Expresión simbólica

∼P→∼q
∼P
∼q

 Ley de inferencia de la expresión: Modus Ponendo Ponens

(pp)

 Proposiciones simples:
p: Yenifer estudia contaduría
q: no se capacita en pensamiento lógico matemático

 Lenguaje Natural:
Si Yenifer no estudia contaduría. Entonces Yenifer no se capacita en pensamiento lógico

matemático. Yenifer estudia contaduría. Por lo tanto, Yenifer no se capacito en

pensamiento lógico matemático.

 Expresión simbólica

p∧q

 Ley de inferencia de la expresión: Adjunción

 Proposiciones simples:

p: Yenifer estudia contaduría

q: se capacita en pensamiento lógico matemático

 Lenguaje Natural:

Yenifer estudia contaduría, y se capacita en pensamiento lógico matemático.

 Expresión simbólica

𝑝∨r

𝑝→s

𝑟→s

 Ley de inferencia de la expresión: simplificación disyuntiva

 Proposiciones simples:

p: Yenifer estudia contaduría

q: se capacita en pensamiento lógico matemático

r: estudia proposiciones compuestas en lenguaje natural

S: le va muy bien en el área

 Lenguaje Natural:

Si Yenifer estudia contaduría, o estudia proposiciones compuestas en lenguaje

natural, si Yenifer estudia contaduría, entonces le va muy bien en el área, si

estudia proposiciones compuestas en lenguaje natural, entonces le va muy bien

en el área. por lo tanto le va muy bien en el área.

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

E. Si Estados Unidos de América goza de una gran extensión geográfica entonces Estados unidos

presenta las 4 estaciones del año. Estados unidos No presenta las 4 estaciones del año.

 Argumento: Si Estados Unidos de América goza de una gran extensión

geográfica entonces Estados unidos presenta las 4 estaciones del año. Estados

unidos No presenta las 4 estaciones del año.

 Conclusión: Estados Unidos de América no goza de una gran

extensión geográfica

 Ley de inferencia aplicada: Modus Tollendo Tollens

 Lenguaje simbólico:
r→q
¬q
¬r
r: Estados Unidos de América goza de una gran extensión geográfica
q: Estados unidos presenta las 4 estaciones del año

Ejercicio 4: Problemas de aplicación

 Expresión simbólica: [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

 Premisas:

P1: p v q
 P2: p → r

P3: q→ r

P4: ∼q

 Conclusión: r ∧ p

P5: r Simplificación disyuntiva (P1, P2 y P3)

P6: p Modus Tollendo Ponens (P1 y P4)

P7: r ∧ p Adjunción (P5 y P6)

 Proposiciones simples:

p: Yenifer estudia contaduría

q: se capacita en pensamiento lógico matemático

r: estudia proposiciones compuestas en lenguaje natural

 Lenguaje Natural: Yenifer estudia contaduría, o se capacita en pensamiento lógico

matemático y Yenifer estudia contaduría entonces estudia proposiciones compuestas en

lenguaje natural y se capacita en pensamiento lógico matemático entonces estudia

preposiciones compuestas en lenguaje natural y si no se capacita en pensamiento lógico

matemático entonces estudia preposiciones compuesta en lenguaje natural.

 Se clasifica como: Tautología.

  Tabla de verdad manual

p q r ∼q (p v q) (p → r) (p v q) (p → r) (q→ r) (q→ r) ∧ ∼q [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] (r ∧ p) [(p v q) ∧ (p → r) ∧ (q→ r) ∧ ∼q] → (r ∧ p)

V V V F V V V V F F V V
V V F F V F F F V F F V
V F V V V V V V V V V V
V F F V V F F V V F F V
F V V F V V V V F F F V
F V F F V V V F V V F V
F F V V F V F V V F F V
F F F V F V F V V F F V

 Tabla de verdad Simulador UNAD

  Demostración de la validez del argumento mediante las Leyes de Inferencia:

P1: p v q

P2: p → r

P3: q→ r

P4: ∼q

Conclusión: r ∧ p

P5: r Simplificación disyuntiva (P1, P2 y P3)

P6: p Modus Tollendo Ponens (P1 y P4)

P7: r ∧ p Adjunción (P5 y P6)

 Simplificación disyuntiva (SD)

𝑝∨𝑞

𝑝→𝑟

𝑞→𝑟

∴𝑟

 Definir las proposiciones simples

p: Yenifer estudia contaduría

q: se capacita en pensamiento lógico matemático

r: estudia proposiciones compuestas en lenguaje natural

  Remplazar las variables expresadas simbólicamente y llevarlas a Lenguaje
natural.

Yenifer estudia contaduría, o se capacita en pensamiento lógico matemático y Yenifer estudia

contaduría entonces estudia proposiciones compuestas en lenguaje natural y se capacita en

pensamiento lógico matemático entonces estudia preposiciones compuestas en lenguaje natural y

si no se capacita en pensamiento lógico matemático entonces estudia preposiciones compuesta en

lenguaje natural.

 Tollendo ponens

pvq

∼q

p: Yenifer estudia contaduría

q: se capacita en pensamiento lógico matemático
Resumen reglas de Inferencia
Yenifer estudia contaduría, o no capacita en pensamiento lógico matemático, no me he capacitado

en pensamiento lógico matemático, por lo tanto Yenifer estudia contaduría.

 Adjunción

r∧p
p: Yenifer estudia contaduría

r: estudia proposiciones compuestas en lenguaje natural

 Remplazar las variables expresadas simbólicamente y llevarlas a Lenguaje

natural

Yenifer estudia contaduría y estudia proposiciones compuestas en lenguaje natural

Leyes de la inferencia

Modus Ponendo Ponens (PP)

𝑝→𝑞
𝑝

∴𝑞

Modus Tollendo Tollens (TT)

𝑝→𝑞
~𝑞

∴ ~𝑝

Silogismo Hipotético (SH)

𝑝→𝑞
𝑞→𝑟

∴𝑝→𝑟

Doble Negación (DN)

~(~𝑝)

∴𝑝

Simplificación (S)
𝑝∧𝑞

∴𝑝
𝑝∧𝑞

∴𝑞

Adjunción (A)
𝑝
𝑞

∴𝑝∧𝑞

Silogismo disyuntivo (DS)

𝑝∨𝑞
𝑝→𝑟
𝑞→𝑠

∴𝑟∨𝑠
Simplificación disyuntiva (SD)
𝑝∨𝑞
𝑝→𝑟
𝑞→𝑟

∴𝑟
Modus Tollendo Ponens (MTP)
𝑝∨𝑞
~𝑞

∴𝑝
 Conclusión

Para finalizar esta actividad me permitió aprender el valor y la importancia de los métodos para

probar valides, de igual manera solucionar problemas de pensamiento lógico, todo es de

razonamiento ya que todo es mental y de atención.

Referencias

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F,
Larousse - Grupo Editorial Patria. Recuperado de https://elibro-
net.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30

Castaño, C. (2017). Proposiciones y tablas de verdad, [Vídeo]. Recuperado de

http://hdl.handle.net/10596/13871

Castaño, C. (2017). Leyes de inferencia, [Video]. Recuperado de http://hdl.handle.net/10596/13869