Edición de «Parcial de Lógica Verano 2016 (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 15: | Línea 15: | ||
Decidir si son verdaderas o falsas las siguientes afirmaciones. Justificar la respuesta. | Decidir si son verdaderas o falsas las siguientes afirmaciones. Justificar la respuesta. | ||
# Sean <math>\Gamma</math> y <math>\Gamma'</math> dos conjuntos consistentes de fórmulas de la lógica proposicional. Si <math>\Gamma \ | # Sean <math>\Gamma</math> y <math>\Gamma'</math> dos conjuntos consistentes de fórmulas de la lógica proposicional. Si <math>\Gamma \cup \Gamma'</math> es maximal consistente entonces <math>\Gamma</math> y <math>\Gamma'</math> son iguales. | ||
# Sean <math>\Gamma</math> y <math>\Gamma'</math> dos conjuntos inconsistentes de fórmulas de la lógica proposicional. Entonces <math>\Gamma \ | # Sean <math>\Gamma</math> y <math>\Gamma'</math> dos conjuntos inconsistentes de fórmulas de la lógica proposicional. Entonces <math>\Gamma \cup \Gamma'</math> no es maximal consistente. | ||
== Ejercicio 3 == | == Ejercicio 3 == |