From 46a03071aee813d1ac978b09766f05d06471ecd4 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 18 Nov 2010 14:12:35 -0500 Subject: [PATCH] assignment7 tweaks Signed-off-by: Jim Pryor --- hints/assignment_7_hint_3.mdwn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/hints/assignment_7_hint_3.mdwn b/hints/assignment_7_hint_3.mdwn index c678e80b..1cd62133 100644 --- a/hints/assignment_7_hint_3.mdwn +++ b/hints/assignment_7_hint_3.mdwn @@ -23,4 +23,6 @@ More specifically, "\[[expression]]" will be a set of 'a discourse possibility m (* the reason for returning a triple with () in first position will emerge *) in ((), r',g') +* At the top of p. 13 (this is in between defs 2.8 and 2.9), GS&V give two examples, one for \[[∃xPx]] and the other for \[[Qx]]. In fact it will be easiest for us to break \[[∃xPx]] into two pieces, \[[∃x]] and \[[Px]]. Let's consider expressions like \[[Px]] (or \[[Qx]]) first. + -- 2.11.0