From 43e2eb7bdded470e524b75291f842e34cc0c0432 Mon Sep 17 00:00:00 2001 From: chris Date: Wed, 8 Apr 2015 12:57:14 -0400 Subject: [PATCH] --- topics/_week10_gsv.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/topics/_week10_gsv.mdwn b/topics/_week10_gsv.mdwn index b956d6c8..79b82a26 100644 --- a/topics/_week10_gsv.mdwn +++ b/topics/_week10_gsv.mdwn @@ -239,7 +239,7 @@ As usual in dynamic theories, a sequence of sentences is treated as if the sentence were conjoined. This is the same thing as updating with the first sentence, then updating with the second sentence. Update with *Alice isn't hungry* eliminates the possibility in which -Alice is hungry (w1), leaving only the possibility containing w2. +Alice is hungry, leaving only the possibility in which she is full. Subsequent update with *Alice might be hungry* depends on the result of updating with the prejacent, *Alice is hungry*. Let's do that side calculation: -- 2.11.0