DSI tema 6: comentadas algunas demostraciones

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