From 93d7456e360fbc6d7978523d97591dd5806e0009 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Mon, 17 Oct 2022 21:37:57 +0200
Subject: Same as before

---
 mc/n8.lyx | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'mc/n8.lyx')

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
-- 
cgit v1.2.3