From aeb673c7dad2ed0b3819774d81e1a5e2e52171c8 Mon Sep 17 00:00:00 2001 From: jim Date: Wed, 15 Apr 2015 23:09:46 -0400 Subject: [PATCH] Thanks Kyle --- topics/week10_gsv.mdwn | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/topics/week10_gsv.mdwn b/topics/week10_gsv.mdwn index 96786ca3..0775ae2e 100644 --- a/topics/week10_gsv.mdwn +++ b/topics/week10_gsv.mdwn @@ -116,15 +116,15 @@ Compute the following: 1. {(w,g)}[∃x.man(x)] - = {(w,g[n->a])}[man(x)] ++ {(w,g[n->b])}[man(x)] - ++ {(w,g[n->c])}[man(x)] - = {} ++ {(w,g[n->b])} ++ {(w,g[n->c])} - = {(w,g[n->a]),(w,g[n->b]),(w,g[n->c])} + = {(w,g[x->a])}[man(x)] ++ {(w,g[x->b])}[man(x)] + ++ {(w,g[x->c])}[man(x)] + = {} ++ {(w,g[x->b])} ++ {(w,g[x->c])} + = {(w,g[x->a]),(w,g[x->b]),(w,g[x->c])} -- Bob and Carl are men 2. {(w,g)}[∃x.woman(x)] 3. {(w,g)}[∃x∃y.man(x) and man(y)] - 4. {(w,n,r,g)}[∃x∃y.x=y] + 4. {(w,g)}[∃x∃y.x=y] Running the [[code|code/gsv.ml]] gives the answers. -- 2.11.0