diff options
Diffstat (limited to 'si/n5.lyx')
| -rw-r--r-- | si/n5.lyx | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -644,9 +644,10 @@ Lógica de situaciones \end_layout \begin_layout Standard -Como la lógica de predicados de primer orden pero todos los predicados tienen - un argumento extra que indica en qué situación la fórmula es cierta, pues - una fórmula puede pasar a ser falsa tras un cambio. +Introducida por McCarthy en 1969. + Como la lógica de predicados de primer orden pero todos los predicados + tienen un argumento extra que indica en qué situación la fórmula es cierta, + pues una fórmula puede pasar a ser falsa tras un cambio. Existe una función \begin_inset Formula $R/2$ \end_inset |