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)]~~[\exists b\colon \textsf{House}(b)]~~\textsf{Surround}(aa, b).</math><br>
<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>