Edición de «Final 22/12/2023 (Paradigmas)»
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 2: | Línea 2: | ||
A) \forAll x \Exist y : x + y = x | A) \forAll x \Exist y : x + y = x | ||
B) (\Exist x (P(x))) v (\Exist x (P(~x))) | B) (\Exist x (P(x))) v (\Exist x (P(~x))) | ||