Capitulo 1, Ejercicio 94: Cuantificadores

94. Sean A y B dos conjuntos no vacíos, determine el valor de verdad de las siguientes proposiciones:

a) (A ⊆ B) ↔ ∀x [(x ∈A) → (x ∈B)]
b) (A ⊆ B) → [(A ⊆ B) ∧ ¬(B ⊆ A)]
c) (A ⊂ B) → [(A ⊆ B) ∧ (B ⊆ A)]
d) (x ∈∅) → (x ∉A)
e) (x ∈∅) → (x ∈A)
f) (A ⊆ B) ↔ ∃x [(x ∈A) → (x ∈B)]
g) (A = B) → [(A ⊂ B) ∧ (B ⊂ A)]


Solución: