diff options
author | JJ | 2024-05-20 03:04:59 +0000 |
---|---|---|
committer | JJ | 2024-05-20 03:04:59 +0000 |
commit | ed8c2d6b56655f1a362f7683b9da3ac521920a42 (patch) | |
tree | 08d1936993e2a9b9d07433b3ea8a4a05487634d5 /linguistics/semantics.md | |
parent | 8f7194de7767f8cede241682a368d01bcda66abc (diff) |
meow
Diffstat (limited to 'linguistics/semantics.md')
-rw-r--r-- | linguistics/semantics.md | 4 |
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)]$ |