https://wiki.lojban.io/index.php?action=history&feed=atom&title=ckajidackajida - Revision history2026-05-07T14:11:01ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.lojban.io/index.php?title=ckajida&diff=2744&oldid=prevNalvaizmiku: Import words via API2026-01-13T14:34:13Z<p>Import words via API</p>
<p><b>New page</b></p><div>==== valsi ====<br />
ckajida<br />
==== type ====<br />
fu'ivla<br />
==== creator ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== time entered ====<br />
Wed Dec 4 21:46:06 2019<br />
<br />
== English ==<br />
=== Definition #71759 - Preferred ===<br />
<br />
==== definition ====<br />
Define x<sub>1</sub> to be a named dummy symbol (having a name heretofore unassigned) such that, if it were to exist, it would satisfy condition/have property x<sub>2</sub> (condition/ka); let x<sub>1</sub> be such that it satisfies/is described by x<sub>2</sub>.<br />
==== notes ====<br />
This is not a standard assertion/claim proposition, instead being an assignment statement/directive (has an implicit "[[ko|ko]]"); as such, it does not really have a truth value (or its truth value is TRUE because of itself). A thing such as x<sub>1</sub> need not exist, although non-existence is also not implied; this bridi abstains from resolving the question of x<sub>1</sub>'s existence. "[[ca'e|ca'e]]", "[[ckaji|ckaji]]", "[[da|da]]", "[[poi|poi]]", "[[zo'u|zo'u]]".<br />
==== gloss words ====<br />
<br />
<ul><li>[[natlang/en/define x such that|define x such that]]</li><li>[[natlang/en/existential instantiation|existential instantiation]]</li><li>[[natlang/en/let x be such that|let x be such that]]</li></ul><br />
<br />
==== created by ====<br />
[[personal/krtisfranks|krtisfranks]]<br />
==== vote information ====<br />
1<br />
<br />
==== time ====<br />
Wed Dec 4 21:46:06 2019<br />
<br />
<br />
<br />
<br/><font size="+1">Examples</font><br />
<hr/><br />
<dl><br />
</dl><br />
<br />
=== Etymology ===</div>Nalvaizmiku