Edición de «Práctica 3 (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 558: | Línea 558: | ||
<br> =>) Sea A = We = {x: Φx↓} => x є A si existe un tiempo t tal que Φe(x)↓, entonces | <br> =>) Sea A = We = {x: Φx↓} => x є A si existe un tiempo t tal que Φe(x)↓, entonces | ||
<br> A = {x: (<math>\exists</math> t) STP<sup>(1)</sup>(x,e,t)} | <br> A = {x: (<math>\exists</math> t) STP<sup>(1)</sup>(x,e,t)} | ||
<br> <=) Sea el predicado PR J(x) = (<math>\exists</math> y) P(x,y), y el siguiente programa P: | <br> <=) Sea el predicado PR J(x) = (<math>\exists</math> y) P(x,y), y el siguiente programa P: |