Edición de «Parcial de Lógica Verano 2017 (LyC)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 8: | Línea 8: | ||
'''a.''' <math>\Gamma_1 \subseteq \mathbf{Con}(\Gamma_1 \cap \Gamma_2)</math>. | '''a.''' <math>\Gamma_1 \subseteq \mathbf{Con}(\Gamma_1 \cap \Gamma_2)</math>. | ||
'''b.''' <math>\mathbf{Con}(\Gamma_1 \cup \{\alpha \rightarrow \beta \mid \alpha \in \Gamma_1, \beta \in \Gamma_2\}) = \mathbf{Con}(\Gamma_1 \cup \Gamma_2) | '''b.''' <math>\mathbf{Con}(\Gamma_1 \cup \{\alpha \rightarrow \beta \mid \alpha \in \Gamma_1, \beta \in \Gamma_2\}) = \mathbf{Con}(\Gamma_1 \cup \Gamma_2)</math>. | ||
'''c.''' Si <math>\mathbf{Con}(\Gamma_1) \subseteq \mathbf{Con}(\Gamma_2)</math> entonces <math>\Gamma_1 \subseteq \Gamma_2</math>. | '''c.''' Si <math>\mathbf{Con}(\Gamma_1) \subseteq \mathbf{Con}(\Gamma_2)</math> entonces <math>\Gamma_1 \subseteq \Gamma_2</math>. |