73
edits
User:Neuekatze/Shodi: Difference between revisions
→Context: articles added
m (→Tones) |
(→Context: articles added) |
||
| Line 89: | Line 89: | ||
future\Econ eat me\1 | future\Econ eat me\1 | ||
</syntaxhighlight> | </syntaxhighlight> | ||
=== Articles === | |||
Marked by the last consonant of the noun. | |||
{| class="wikitable" | |||
|+ | |||
!Cons. | |||
!Mean. | |||
!Symbolic | |||
|- | |||
|none | |||
|some X | |||
|'''∃x''' | |||
|- | |||
|m | |||
|an X | |||
|'''∃!x''' or '''∃x(P(x)) ∧ ∀y(P(y) → y = x)''' | |||
|- | |||
|w | |||
|all x | |||
|'''∀x''' | |||
|- | |||
|p | |||
|no X | |||
|'''¬∃x''' | |||
|- | |||
|t | |||
|this X | |||
|idk | |||
|- | |||
|k | |||
|the X | |||
|'''∃xx ∃x (x∈xx ∧ P(x) ∧ ∀y(y∈xx → y= x ∨ ¬P(y)))''' | |||
|- | |||
|g | |||
|X-kind | |||
|'''∃X(x∈X)''' | |||
|- | |||
|l | |||
|which X? | |||
|idk | |||
|} | |||