From 770fbe30f767b0cd5d6e0ab9f4584f2ec0ed7f7a Mon Sep 17 00:00:00 2001
From: Juan Marín Noguera <juan.marinn@um.es>
Date: Wed, 20 Jan 2021 19:25:46 +0100
Subject: SSII tema 6

---
 si/n5.lyx | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'si/n5.lyx')

diff --git a/si/n5.lyx b/si/n5.lyx
index 90f5a37..fe6616b 100644
--- a/si/n5.lyx
+++ b/si/n5.lyx
@@ -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
-- 
cgit v1.2.3