aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--dsi/n6.lyx60
1 files changed, 40 insertions, 20 deletions
diff --git a/dsi/n6.lyx b/dsi/n6.lyx
index 3bbc265..d3db2e8 100644
--- a/dsi/n6.lyx
+++ b/dsi/n6.lyx
@@ -1699,10 +1699,10 @@ Las siguientes se cumplen para las normas usuales pero no en general:
\end_inset
.
-\end_layout
+\begin_inset Note Comment
+status open
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
Para
\begin_inset Formula $x\in U$
\end_inset
@@ -1726,16 +1726,20 @@ Para
.
\end_layout
-\end_deeper
+\end_inset
+
+
+\end_layout
+
\begin_layout Enumerate
\begin_inset Formula $A\cap(B\cup C)=(A\cap B)\cup(A\cap C)$
\end_inset
.
-\end_layout
+\begin_inset Note Comment
+status open
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
Para
\begin_inset Formula $x\in U$
\end_inset
@@ -1759,16 +1763,20 @@ Para
.
\end_layout
-\end_deeper
+\end_inset
+
+
+\end_layout
+
\begin_layout Enumerate
\begin_inset Formula $A\cup A=A\cap A=A$
\end_inset
.
-\end_layout
+\begin_inset Note Comment
+status open
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
Para
\begin_inset Formula $x\in U$
\end_inset
@@ -1796,7 +1804,11 @@ Para
.
\end_layout
-\end_deeper
+\end_inset
+
+
+\end_layout
+
\begin_layout Standard
Las siguientes no se cumplen tampoco para las normas del máximo y el mínimo:
\end_layout
@@ -1811,17 +1823,21 @@ Ley de la contradicción:
\end_inset
.
-\end_layout
+\begin_inset Note Comment
+status open
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
\begin_inset Formula $0.7\oplus N(0.7)=\max\{0.7,0.3\}=0.7\neq1$
\end_inset
.
\end_layout
-\end_deeper
+\end_inset
+
+
+\end_layout
+
\begin_layout Enumerate
\series bold
@@ -1832,17 +1848,21 @@ Ley del medio excluido:
\end_inset
.
-\end_layout
+\begin_inset Note Comment
+status open
-\begin_deeper
-\begin_layout Standard
+\begin_layout Plain Layout
\begin_inset Formula $0.7*N(0.7)=\min\{0.7,0.3\}=0.3\neq0$
\end_inset
.
\end_layout
-\end_deeper
+\end_inset
+
+
+\end_layout
+
\begin_layout Section
Relaciones
\end_layout