Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

19.1: Celosías
https://espanol.libretexts.org/Matematicas/Algebra_Abstracta_y_Geometrica/%C3%81lgebra_abstracta%3A_teor%C3%ADa_y_aplicaciones_(Judson)/19%3A_Celos%C3%ADas_y_%C3%A1lgebras_booleanas/19.01%3A_Celos%C3%ADas
Un argumento similar demuestra que $b \preceq (a \vee b) \vee c\text{.}$ Por lo tanto, $(a \vee b) \vee c$ es un límite superior de Ahora $\{ a, b, c \}\text{.}$ necesitamos mostrar que\((a \vee b)...Un argumento similar demuestra que $b \preceq (a \vee b) \vee c\text{.}$ Por lo tanto, $(a \vee b) \vee c$ es un límite superior de Ahora $\{ a, b, c \}\text{.}$ necesitamos mostrar que $(a \vee b) \vee c$ es el límite inferior superior de $\{ a, b, c\}\text{.}$ Let $u$ be algún otro límite superior de $\{ a, b, c \}\text{.}$ Entonces $a \preceq u$ y $b \preceq u\text{;}$ por lo tanto, $d = a \vee b \preceq u\text{.}$ Ya que $c \preceq u\text{,}$ sigue que\((a \vee b) \vee c = d \vee…

Search