En los practicos hay ciertos ejercicios que ayudan mucho a la hora de una demostracion, por ejemplo en el practico 5 hay un ejercicio que dice: A es consistente maximal sii para toda formula b de PROP se cumple que b pertenece a A o not(b) pertenece a A.
Mi duda es si para alguna demostracion en el parcial puedo usar esto y justificar por ejemplo "Esto se cumple por ejercicio de practico"?
Desde ya, muchas gracias!
![\Gamma \text{ CM } \Leftrightarrow (\bar{\forall} \varphi \in PROP)(\varphi \in \Gamma \text{ o } \lnot\varphi \in \Gamma) \text{ [por ej. de pto] }](https://eva.fing.edu.uy/filter/tex/pix.php/73e09d7ca3c10f687b76d051439ea206.png "\Gamma \text{ CM } \Leftrightarrow (\bar{\forall} \varphi \in PROP)(\varphi \in \Gamma \text{ o } \lnot\varphi \in \Gamma) \text{ [por ej. de pto] }")
![\varphi \not\in \Gamma \text{ y } \Gamma \text{ CM } \Rightarrow \lnot\varphi \in \Gamma \text{ [} \Gamma \text{ CM sii } (\bar{\forall}\varphi \in PROP)(\varphi \in \Gamma \text{ o } \lnot \varphi \in \Gamma) \text{]}](https://eva.fing.edu.uy/filter/tex/pix.php/fe2462662c7040d088037f50c9db47d4.png "\varphi \not\in \Gamma \text{ y } \Gamma \text{ CM } \Rightarrow \lnot\varphi \in \Gamma \text{ [} \Gamma \text{ CM sii } (\bar{\forall}\varphi \in PROP)(\varphi \in \Gamma \text{ o } \lnot \varphi \in \Gamma) \text{]}")