73
edits
User:Neuekatze/Shodi: Difference between revisions
→Articles: updated to lambda expressions
(→Articles: :p) |
(→Articles: updated to lambda expressions) |
||
| Line 100: | Line 100: | ||
|none | |none | ||
|some X | |some X | ||
| | |λx.P(x) | ||
|- | |- | ||
|m | |m | ||
|an X | |an X | ||
| | |λx.∃x(P(x) ∧ ∀y(P(y) → y = x)) | ||
|- | |- | ||
|w | |w | ||
|all x | |all x | ||
| | |λx.∀y(P(y)→y=x) | ||
|- | |- | ||
|p | |p | ||
|no X | |no X | ||
| | |λx.∀y(P(y)→y≠x) | ||
|- | |- | ||
|t | |t | ||
| Line 120: | Line 120: | ||
|k | |k | ||
|the X | |the X | ||
| | |λx. ∀y. (P(y) → y = x) | ||
|- | |- | ||
|g | |g | ||
|X-kind | |X-kind | ||
|' | |if you're in this wiki you already know it | ||
|- | |- | ||
|l | |l | ||