aboutsummaryrefslogtreecommitdiff
path: root/mc
diff options
context:
space:
mode:
Diffstat (limited to 'mc')
-rw-r--r--mc/n8.lyx7
1 files changed, 5 insertions, 2 deletions
diff --git a/mc/n8.lyx b/mc/n8.lyx
index 41faeec..97f0b4f 100644
--- a/mc/n8.lyx
+++ b/mc/n8.lyx
@@ -907,8 +907,11 @@ La cual hay que saberse pese a que es incorrecta porque hacen preguntas
\end_inset
y que se propaguen al resto y extendiendo el resto de proposiciones a estas
- nuevas columnas y filas, y llama proposiciones sólo a las proposiciones
- atómicas.
+ nuevas columnas y filas y al hecho de que ahora
+\begin_inset Formula $C=Q\sqcup\Gamma\sqcup\{\#\}$
+\end_inset
+
+, y llama proposiciones sólo a las proposiciones atómicas.
\end_layout
\begin_layout Standard