Ejercicio 1: Proposiciones

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio

1)

a) p: La multiplicación es conmutativa
q: La suma es conmutativa
r: La resta es conmutativa
[(𝑝 → 𝑟) ∨ ¬𝑟] ↔ (𝑞 ∧ ¬𝑝)

 Escriba la proposición compuesta propuesta en lenguaje natural.

Si la multiplicación es conmutativa entonces la resta no es conmutativa si solo si la suma

es conmutativa y la multiplicación es conmutativa.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
 Escriba la proposición compuesta propuesta en lenguaje natural.
 Determinar el valor de verdad de las proposiciones simples.
 Determinar el valor de verdad de la proposición compuesta.

 Determinar el valor de verdad de las proposiciones simples.

p: La multiplicación es conmutativa
q: La suma es conmutativa
r: La resta es conmutativa
p: V

q: V

r: F

 Determinar el valor de verdad de la proposición compuesta.

p q r [(𝒑 → 𝒓) ∨ ¬𝒓] ↔ (𝒒 ∧ ¬𝒑)

V V V F

V V F F
V F V F

V F F F

F V V V

F V F V
F F V F

F F F F

Ejercicio 2: Tablas de verdad

Descripción del ejercicio:

A continuación, encontrará los argumentos para el desarrollo del ejercicio 2:
a) Si el vehículo de Gabriela necesita mantenimiento entonces, ella lo lleva al concesionario
o Si ella no lo lleva al concesionario entonces, lo lleva taller de Fernando

 Definir las proposiciones simples del argumento.

p: El vehículo de Gabriela necesita mantenimiento.

q: Gabriela lleva su vehículo al concesionario.

r: Gabriela lleva su vehículo al taller de Fernando.

 Definir la expresión del argumento en lenguaje simbólico o formal.

(𝒑 → 𝒒) ∨ (¬q → 𝒓)

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador
Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al
recurso)
(𝒑 → 𝒒) ∨ (¬q → 𝒓)

p q r (𝒑 → 𝒒) ∨ (¬q → 𝒓)
V V V V

V V F V
V F V V

V F F F

F V V V

F V F V
F F V V

F F F V
 Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si
el resultado es una tautología, contingencia o contradicción.

(𝒑 → 𝒒) ∨ (¬q → 𝒓)

p q r ¬q (𝒑 → 𝒒) (¬q → 𝒓) (𝒑 → 𝒒) ∨ (¬q → 𝒓)
V V V F V V V

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

V F F V F F F

F V V F V V V

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

F F F V V F V

El resultado de la tabla de verdad es una: Contingencia