Edición de «Práctica 7 (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== | ||
==Ejercicio 02== | ==Ejercicio 02== | ||
Línea 36: | Línea 34: | ||
<br>Pero <math>A \neg\vDash R(x,z)[v']</math> | <br>Pero <math>A \neg\vDash R(x,z)[v']</math> | ||
==Ejercicio == | ==Ejercicio 05== | ||
Si definimos la funcion la suma como f(x,y) = x + y + 1. <br> | Si definimos la funcion la suma como f(x,y) = x + y + 1. <br> | ||
Esto cumple los axiomas dados, pero sin embargo es evidente que no cumple con la suma en los naturales. | Esto cumple los axiomas dados, pero sin embargo es evidente que no cumple con la suma en los naturales. | ||
Línea 135: | Línea 133: | ||
<br>(13) <math> x \vee x </math> | <br>(13) <math> x \vee x </math> | ||
[[Category: | [[Category:Lógica y Computabilidad]] |