El problema planteado usar la teoría de conjuntos para demostrar como teorema que A ⊆ C
Este ejercicio hace uso de la teoría de conjuntos teoremas y definiciones.
La demostración de conjuntos se apoya en las definiciones básicas y propiedades de conjuntos establecidas.
Intente resolver este ejercicio y luego compruebe la solucion. Descargue esta solucion clic aqui
∀x: x ∈ A → x ∈ B Hipótesis y definición inclusión ∀x: x ∈ B → x ∈ C Hipótesis y definición inclusión Sea x ∈ A x ∈ B Modus Ponens x ∈ C Modus Ponens ∀x: x ∈ A → x ∈ C Definición inclusión A ⊆ C Definición inclusión ∴ A ⊆ C