summaryrefslogtreecommitdiff
path: root/linguistics/semantics.md
diff options
context:
space:
mode:
authorJJ2024-05-20 03:04:59 +0000
committerJJ2024-05-20 03:04:59 +0000
commited8c2d6b56655f1a362f7683b9da3ac521920a42 (patch)
tree08d1936993e2a9b9d07433b3ea8a4a05487634d5 /linguistics/semantics.md
parent8f7194de7767f8cede241682a368d01bcda66abc (diff)
meow
Diffstat (limited to 'linguistics/semantics.md')
-rw-r--r--linguistics/semantics.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/linguistics/semantics.md b/linguistics/semantics.md
index 96638aa..a6cb615 100644
--- a/linguistics/semantics.md
+++ b/linguistics/semantics.md
@@ -42,8 +42,8 @@ With basic logic and the lambda calculus under our belt, we may simply get strai
> *Alice is bad.* <br>
> *The blue pigeon flew away.*
-- Noun $↝ λx.Noun(x)$ $: ⟨e,t⟩$
-- Verb (intransitive) ↝ $λx.Verb(x)$: $⟨e,t⟩$
+- Noun: $⟨e,t⟩ ↝ λx.Noun(x)$
+- Verb (intransitive): $⟨e,t⟩ ↝ λx.Verb(x)$
- Verb (transitive): $⟨e,⟨e,t⟩⟩ ↝ λy.λx.Verb(x, y)$
- Verb (meaningless): $⟨⟨e,t⟩,⟨e,t⟩⟩ ↝ λP.λx.P(x)$
- Adj: $⟨⟨e,t⟩,⟨e,t⟩⟩ ↝ λNoun.λx.[Adj(x) ∧ Noun(x)]$