Pensamiento lógico y matemático

Unidad #1: Métodos Para probar la validez de argumentos

Elaborado por:

Emanuel De La Hoz Ramos.

Presentado al tutor:

Jonathan Alberto Cervantes

Grupo: 200611_709

Universidad Nacional Abierta y a Distancia. (UNAD)

B.

Proposiciones simples.

p: En 2020 creció el desempleo

q: En 2020 hubo pandemia
r: Hubo inversión económica

Lenguaje simbólico.

(p ∧ q) ∨ (p ∧ ~r)

Lenguaje Natural

En 2020 creció el desempleo y En 2020 hubo pandemia, o En 2020 creció el desempleo no Hubo inversión
económica.

Tabla manual

p q r ˜r pɅq pɅ˜ r (p ∧ q) ∨ (p ∧ ~r)

V V V F V F V
V V F V V V V
V F V F F F F
V F F V F V V
F V V F F F F
F V F V F F F
F F V F F F F
F F F V F F F
Se clasifica como: Contingencia.
Tabla de verdad Simulador UNAD

Ejercicio 2: Identificación de las reglas de la inferencia lógica

A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia.

B.

 Expresión simbólica

 Ley de inferencia de la expresión: simplificación.

 Proposiciones simples.

r: Andrés es excelente estudiante.

s: Andrés obtuvo la mejor nota del parcial de lógica matemática.

 Lenguaje natural.
Andrés es excelente estudiante y Andrés no obtuvo la mejor nota del parcial de lógica matemática. Por lo
tanto, Andrés obtuvo la mejor nota del parcial de lógica matemática.
 Expresión simbólica

 Ley de inferencia de la expresión: silogismo hipotético.

 Proposiciones simples.

p: Andrés es excelente estudiante.

q: Andrés obtuvo la mejor nota del parcial de lógica matemática.
r: Andrés al finalizar el semestre obtuvo el mejor promedio de toda la clase.

 Lenguaje natural.

Si Andrés es excelente estudiante entonces Andrés obtuvo la mejor nota del parcial de lógica matemática.
Si Andrés obtuvo la mejor nota del parcial de lógica matemática entonces Andrés al finalizar el semestre
obtuvo el mejor promedio de toda la clase. Por lo tanto, si Andrés es excelente estudiante entonces Andrés
al finalizar el semestre obtuvo el mejor promedio de toda la clase.

 Expresión simbólica

 Ley de inferencia de la expresión: modus poniendo ponens

 Proposiciones simples.

p: Andrés es excelente estudiante.

q: Andrés obtuvo la mejor nota del parcial de lógica matemática.
 Lenguaje natural.
Si Andrés es excelente estudiante entonces Andrés obtuvo la mejor nota del parcial de lógica matemática.
Andrés es excelente estudiante. Por lo tanto, Andrés obtuvo la mejor nota del parcial de lógica
matemática.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica

B. Vendo todo o recupero la cartera. Si vendo todo entonces cumplo la meta. Si recupero la cartera
entonces bonifico comisión en la empresa.

a. Conclusión: cumplo la meta o bonifico comisión en la empresa.

b. Ley de inferencia aplicada: Silogismo Disyuntivo

c. Lenguaje simbólico:

p ˅ q
p ⟶ r
q ⟶ t
r ˅ t

Ejercicio 4: Problemas de aplicación.

Conclusión: r
 Proposiciones simples.

p: Andrés es excelente estudiante.

q: Andrés obtuvo la mejor nota del parcial de lógica matemática.
r: Andrés fue exonerado del parcial final de lógica matemática.

 Lenguaje natural.
Andrés es excelente estudiante. Si Andrés es excelente estudiante entonces Andrés obtuvo la mejor nota
del parcial de lógica matemática. Si Andrés obtuvo la mejor nota del parcial de lógica matemática entonces
Andrés fue exonerado del parcial final de lógica matemática. Por lo tanto, Andrés fue exonerado del parcial
final de lógica matemática.
 Tabla manual

p q r p⟶q pɅ( p ⟶ q) p ⟶r ( p) Ʌ( p ⟶ q) Ʌ( p ⟶ r ) [ ( p ) Ʌ ( p ⟶ q ) Ʌ ( p ⟶ r ) ]⟶ r

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

 Se clasifica como: Tautología.

 Tabla de verdad Simulador UNAD

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

P1. p

P2. p ⟶ q

P3. p ⟶r

P4. r ……………………… Modus poniendo ponens entre P3 y P1.