diff options
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)]$ |