diff options
| author | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-20 19:25:46 +0100 |
|---|---|---|
| committer | Juan Marín Noguera <juan.marinn@um.es> | 2021-01-20 19:25:46 +0100 |
| commit | 770fbe30f767b0cd5d6e0ab9f4584f2ec0ed7f7a (patch) | |
| tree | 4db4dbee47575f36af3429e4d36364dc0be678f1 /si/n5.lyx | |
| parent | 4c7f238f02b1650da5a9427e5904d2246e94907f (diff) | |
SSII tema 6
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 |