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 54: | Línea 54: | ||
φi = "No hay un camino de longitud i entre c y d".<br> | φi = "No hay un camino de longitud i entre c y d".<br> | ||
longitud dos en primer orden se escribiria:<br> | longitud dos en primer orden se escribiria:<br> | ||
¬( | ¬(Existe x)(R(c,x) Y R(x,d))<br> | ||
Y se puede generalizar facilmente para mostrar que es posible escribirlo en primer orden.<br> | Y se puede generalizar facilmente para mostrar que es posible escribirlo en primer orden.<br> | ||
Luego definimos lo que queremos probar que no es expresable.<br> | Luego definimos lo que queremos probar que no es expresable.<br> |