Sei sulla pagina 1di 2

Conectivos lógicos.

Carlos Alberto Bravo Guzmán.


Septiembre 2019.

Universidad Nacional Abierta y a Distancia.


Agronomía.
Lógica Matemática.
ii
Ejercicio 1

a) p: La multiplicación es conmutativa

q: La suma es conmutativa

r: La resta es conmutativa

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

Proposición compuesta en lenguaje natural:

Si la multiplicación es conmutativa entonces la resta es conmutativa o la resta no es conmutativa


si y solo si la suma es conmutativa y la multiplicación no es conmutativa.

Valor de verdad de proposiciones simples:

p: V
q: V
r: F

Valor de verdad de proposición compuesta:

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


[(𝑉 → 𝐹) ∨ 𝑉] ↔ (𝑉 ∧ 𝐹)
[(𝐹) ∨ 𝑉] ↔ (𝐹)
[𝑉] ↔ (𝐹)
F

Potrebbero piacerti anche