diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-17 21:37:57 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2022-10-17 21:37:57 +0200 |
| commit | 93d7456e360fbc6d7978523d97591dd5806e0009 (patch) | |
| tree | e3ccb729d79e983a483aa79d85c7a944036fad69 | |
| parent | c9318dc3d71c51b5d0b9213e6c5bb885ece905d3 (diff) | |
Same as before
| -rw-r--r-- | mc/n8.lyx | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |
