Edición de «Práctica 6 (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 1: | Línea 1: | ||
==Ejercicio 01== | ==Ejercicio 01== | ||
<br>El b) es Termino y los demas son Formulas | <br>El b) es Termino y los demas son Formulas | ||
Línea 31: | Línea 29: | ||
*4: Hay una persona x que no quiere a ninguna persona | *4: Hay una persona x que no quiere a ninguna persona | ||
== | ==Ejercicio 05== | ||
<br>a)<math> \neg(\exists x) Politico(x) \wedge Honesto(x) </math> | <br>a)<math> \neg(\exists x) Politico(x) \wedge Honesto(x) </math> | ||
<br>b)<math> \neg(\forall x) Ave(x) \rightarrow Vuela(x) </math> | <br>b)<math> \neg(\forall x) Ave(x) \rightarrow Vuela(x) </math> | ||
Línea 108: | Línea 106: | ||
[[Category: | [[Category:Lógica y Computabilidad]] |