538
edits
Toaq: Difference between revisions
plural quantification example
(Deltafy) |
(plural quantification example) |
||
| 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. | |||
<blockquote>{{t|Tú | <blockquote>{{t|Reı sá asu tú buajıo.}}<br> | ||
<math>[\forall | <math>[\exists aa\colon \textsf{Dog}(aa)]~~[\exists b\colon \textsf{House}(b)]~~\textsf{Surround}(aa, b).</math><br> | ||
“There are some dogs ''aa'' that surround each house ''b''.” | |||
</blockquote> | |||
<blockquote>{{t|Tú buajıo nä reı sá asu máq.}}<br> | |||
<math>[\forall b\colon \textsf{House}(b)]~~[\exists aa\colon \textsf{Dog}(aa)]~~\textsf{Surround}(aa, b).</math><br> | |||
“Each house ''b'' has some dogs ''aa'' surrounding it.” | |||
</blockquote> | </blockquote> | ||
| Line 11: | Line 15: | ||
<blockquote> | <blockquote> | ||
<div style="display:inline-block; width: | <div style="display:inline-block; width:130px; text-align:center;"> | ||
<span class="toaq" lang="toaq" style="color:#ee0011;font-size:16px">nıe</span><br>“(it) is inside”<br><small>falling tone</small> | <span class="toaq" lang="toaq" style="color:#ee0011;font-size:16px">nıe</span><br>“(it) is inside”<br><small>falling tone</small> | ||
</div> | </div> | ||
<div style="display:inline-block; width: | <div style="display:inline-block; width:130px; text-align:center;"> | ||
<span class="toaq" lang="toaq" style="color:#eeaa00;font-size:16px">níe</span><br>“the | <span class="toaq" lang="toaq" style="color:#eeaa00;font-size:16px">níe</span><br>“the thing inside”<br><small>rising tone</small> | ||
</div> | </div> | ||
<div style="display:inline-block; width: | <div style="display:inline-block; width:130px; text-align:center;"> | ||
<span class="toaq" lang="toaq" style="color:#5555ff;font-size:16px">nîe</span><br>“inside of…”<br><small>hiatus tone</small> | <span class="toaq" lang="toaq" style="color:#5555ff;font-size:16px">nîe</span><br>“inside of…”<br><small>hiatus tone</small> | ||
</div> | </div> | ||