https://wiki.lojban.io/index.php?action=history&feed=atom&title=dau%27odau'o - Revision history2026-05-02T18:21:24ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.lojban.io/index.php?title=dau%27o&diff=3862&oldid=prevNalvaizmiku: Import words via API2026-01-13T14:44:06Z<p>Import words via API</p>
<p><b>New page</b></p><div>==== valsi ====<br />
dau'o<br />
==== type ====<br />
experimental cmavo<br />
==== creator ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== time entered ====<br />
Sat Jul 23 07:37:43 2016<br />
<br />
== English ==<br />
=== Definition #68843 - Preferred ===<br />
<br />
==== selma'o ====<br />
DAUhO<br />
==== definition ====<br />
Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence<br />
==== notes ====<br />
The immediately previous word must be a quantifier (such as [[ro|ro]]) or quantified variable. This word endows the quantification with existential import. If this word is immediately followed by "[[cu'i|cu'i]]" (thereby producing "[[dau'ocu'i|dau'ocu'i]]"), then all existential import is explicitly repealed (so that it does not apply) and the result is agnostic on existence; "[[rodau'o|rodau'o]]" is technically exactly the same as "[[ro|ro]]" alone according to the CLL and means "(for) each/every/all [x, P(x) is true], and strictly more than zero [x] (are asserted to) exist"; meanwhile, "[[rodau'ocu'i|rodau'ocu'i]]" is a more correct translation of the universal quantifier ("all", "for any/every") in modern logic/math, but it very clearly states that the person is purposefully and knowingly abstaining from asserting existence of non-existence. If it is immediately followed by "[[nai|nai]]" (thereby producing "[[dau'onai|dau'onai]]"), then non-existence is explicitly, purposefully, and knowingly claimed; the result is more of an 'IF' statement ("if X were to exist, then proposition p(X) would be true (of (all of) X); but X do not exist."). On its own, "[[rodau'o|rodau'o]] lo broda cu brode" is equivalent to "ro lo broda cu brode .ije da broda".<br />
==== gloss words ====<br />
<br />
<ul><li>[[natlang/en/Aristotelian quantifier|Aristotelian quantifier]]</li><li>[[natlang/en/Aristotlean quantifier|Aristotlean quantifier]]</li><li>[[natlang/en/existential import endowment|existential import endowment]]</li></ul><br />
<br />
==== created by ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== vote information ====<br />
1<br />
<br />
==== time ====<br />
Wed May 29 19:49:20 2019<br />
<br />
[[comments.html?valsi=30667;definition=68843|[View<br />
Comments For This Definition]]] <br />
<br />
<br/><font size="+1">Examples</font><br />
<hr/><br />
<dl><br />
</dl><br />
<br />
=== Etymology ===</div>Nalvaizmiku