aboutsummaryrefslogtreecommitdiff
path: root/mc
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-10-17 21:37:57 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2022-10-17 21:37:57 +0200
commit93d7456e360fbc6d7978523d97591dd5806e0009 (patch)
treee3ccb729d79e983a483aa79d85c7a944036fad69 /mc
parentc9318dc3d71c51b5d0b9213e6c5bb885ece905d3 (diff)
Same as before
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