685
edits
Toaq: Difference between revisions
m
fix quantifier
(plural quantification example) |
m (fix quantifier) |
||
| Line 1: | Line 1: | ||
'''Toaq''' is the conlang (constructed language) that this wiki is about. It has been in development by its author, [[Hoemai]], since 2013 (see the [[Timeline]]). | '''Toaq''' is the conlang (constructed language) that this wiki is about. It has been in development by its author, [[Hoemai]], since 2013 (see the [[Timeline]]). | ||
Toaq is a [[loglang]]: its syntax can be unambiguously translated into [[predicate logic]] (specifically [[plural logic]]) sentences. | Toaq is a [[loglang]]: its syntax can be unambiguously translated into [[predicate logic]] (specifically [[plural logic]]) sentences. | ||
<blockquote>{{t|Reı sá asu tú buajıo.}}<br> | <blockquote>{{t|Reı sá asu tú buajıo.}}<br> | ||
<math>[\exists aa\colon \textsf{Dog}(aa)]~~[\ | <math>[\exists aa\colon \textsf{Dog}(aa)]~~[\forall b\colon \textsf{House}(b)]~~\textsf{Surround}(aa, b).</math><br> | ||
“There are some dogs ''aa'' that surround each house ''b''.” | “There are some dogs ''aa'', that surround each house ''b''.” | ||
</blockquote> | </blockquote> | ||
<blockquote>{{t|Tú buajıo nä reı sá asu máq.}}<br> | <blockquote>{{t|Tú buajıo nä reı sá asu máq.}}<br> | ||