Edición de «Práctica 4 (LyC Verano)»
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 151: | Línea 151: | ||
== Ejercicio 11 == | == Ejercicio 11 == | ||
===a)=== | ===a)=== | ||
<math> | |||
\Gamma satisfacible \rightarrow (\exists v)(\forall p \in \Gamma) v(p)=1 \rightarrow (\forall p \in \Gamma') v(p)=1 \rightarrow \Gamma' satisfacible | |||
</math> | |||
===b)=== | ===b)=== | ||
<br> ←) Con(Γ) es satisfacible y Γ <math>\subseteq</math> Con(Γ) ( ver 12.a ) → por a) Γ es satisfacible | <br> ←) Con(Γ) es satisfacible y Γ <math>\subseteq</math> Con(Γ) ( ver 12.a ) → por a) Γ es satisfacible |