Anexo –1

Tarea 1 Métodos para probar la validez de argumentos

Curso: lógica matemática

Código: 90004-6

Ángela Vega
1012428216

Tutor: Yeiny Lorena amesquita

Universidad nacional abierta y a distancia

(CEAD)

Tabla de contenido
 1) EJERCICIO 1: jercicio 1: Proposiciones y tablas de verdad

2)leyes de inferencia.

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

4) Ejercicio 4: Problemas de aplicación

5) bibliografía
Ejercicio 1: Proposiciones y tablas de verdad

A continuación, encontrará las proposiciones simples para el

desarrollo del ejercicio 1:

1. p: La emergencia sanitaria fue ampliada hasta 31 de mayo

q: Los restaurantes están autorizados para vender licor

r: Las medidas de bioseguridad deben ser modificadas

➢ Lenguaje simbólico:

[(¬𝒑∧𝒓)∧(𝒑∧𝒒)]
➢ Lenguaje Natural

Si la emergencia sanitaria no fue ampliada hasta el 31 de mayo

Y las medidas de bioseguridad deben ser modificada y la
emergencia sanitaria fue ampliada hasta el 31 de mayo y los
restaurantes están autorizados para vender licor.

➢ Tabla manual

P R Q [ (∼ P ∧ r ) ∧ (p ∧ r)]
V V V F F V F V V V
V V F F F V F V V V
V F V F F F F V F F
V F F F F F F V F F
F V V V V V F F F V
F V F V V V F F F V
F F V V F F F F F F
F F F V F F F F F F

➢ Se clasifica como: contradicción

➢ Tabla de verdad Simulador UNAD

p q r ((~p∧r)∧(p∧q))
v v v F
v v f F
v f v F
v f f F
 p q r ((~p∧r)∧(p∧q))
f v v F
f v f F
f f v F
f f f F

Link del video:

https://youtu.be/FDxro_fRiLg

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

1. A. Expresión simbólica

Pvq

¬q

Que ley representa: silogiismo disyuntivo

Definir preposición:

P: Andrés estudia en la unad

Q: José aprobó la materia de inglés en la unad

Lenguaje natural: si Andrés estudia en la unad o José aprobó la

materia de inglés en la unad, José no aprobó la materia de inglés en la
unad.

r∧𝑠
 r
Que ley representa: simplificación

Definir preposición:

r: camilo ingreso a la unad

s: juan estudia ingles

Lenguaje natural: si camilo ingreso a la unad y juan estudia inglés.

Camilo ingreso a la unad.

p→q

Que ley representa: modus ponens

Definir preposición:

P: Sofía le gusta estudiar economía

q: Javier estudia economía

Lenguaje natural: Sofía le gusta estudiar economía si entonces Javier

estudia economía, a Sofía le gusta estudiar economía entonces Javier
estudia economía.

A. El ejercicio regular fortalece el sistema inmunológico. libera endorfinas que

aumentan el estado de bienestar.

Conclusión: El ejercicio regular fortalece el sistema inmunológico y libera endorfinas que

aumentan el estado de bienestar.

Ley: conjunción

Lenguaje simbólico: p
r
 p∧ r

Ejercicio 4: Problemas de aplicación

A. Expresión simbólica: [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)

Premisas: P1: 𝒑 ∧ 𝒒 P2: 𝒑 → 𝒓
Conclusión: 𝒓 ∧ g

P: Andrea estudia ingeniería civil

q: Andrea aprobó el curso de lógica matemática
r: Andrea esta matriculada en el segundo semestre

Lenguaje Natural: si Andrea estudia ingeniería civil y Andrea aprobó el curso de lógica
matemática. Andrea estudia ingeniería civil si entonces andrea esta matriculada en el
segundo semestre. Si entonces andrea esta matriculada en el segundo semestre y andrea
aprobó el curso de lógica matemática.

Tabla de verdad manual:

p q r [ [(𝒑 ∧ 𝒒) ∧ (𝒑 → 𝒓)] ⟶ (𝒓 ∧ 𝒒)
V V V v V V V V
V V F V F F V F
V F V f F V V V
V F F F F F V F
F V V F F V V F
F V F F F V V F
F F V F F V V F
F f F F F V V F

Tabla - Resultados
p q r ((p∧q)∧(p→r))→(r∧q)
v v v V
v v f V
v f v V
 p q r ((p∧q)∧(p→r))→(r∧q)
v f f V
f v v V
f v f V
f f v V
f f f V

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

P1:simplificación p∧q
P2: modus ponens p→r
P3: simplificación r∧q
P4: siplificacion de: p∧q y p entonces q
P5:la simplificación de r∧q con el resultado de ∧
P6: silogismo constructivo

Referencias bibliográficas:

 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Córdoba, AR. (pp. 40-49). El Cid Editor. }
 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F.
(pp. 34-37). Larousse - Grupo Editorial Patria.

 Curo, A. (2015). Matemática básica para administradores. (pp. 13-27). Universidad

Peruana de Ciencias Aplicadas (UPC).

 Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. México, D.F,

(pp. 34-37). Larousse - Grupo Editorial Patria.
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.
Córdoba, AR. (pp. 40-49). El Cid Editor.