projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
96db4b9
)
Thanks Kyle
author
jim
<jim@web>
Thu, 16 Apr 2015 03:09:46 +0000
(23:09 -0400)
committer
Linux User
<ikiwiki@localhost.members.linode.com>
Thu, 16 Apr 2015 03:09:46 +0000
(23:09 -0400)
topics/week10_gsv.mdwn
patch
|
blob
|
history
diff --git
a/topics/week10_gsv.mdwn
b/topics/week10_gsv.mdwn
index
96786ca
..
0775ae2
100644
(file)
--- a/
topics/week10_gsv.mdwn
+++ b/
topics/week10_gsv.mdwn
@@
-116,15
+116,15
@@
Compute the following:
1. {(w,g)}[∃x.man(x)]
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)]
-- 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.
Running the [[code|code/gsv.ml]] gives the answers.