View source for ckajida

==== valsi ====
ckajida
==== type ====
fu'ivla
==== creator ====
[[personal/krtisfranks|krtisfranks]]
==== time entered ====
Wed Dec  4 21:46:06 2019
 
== English ==
=== Definition #71759 - Preferred ===
 
==== definition ====
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>.
==== notes ====
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]]".
==== gloss words ====

<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>

==== created by ====
[[personal/krtisfranks|krtisfranks]]
==== vote information ====
1
     
==== time ====
Wed Dec  4 21:46:06 2019



<br/><font size="+1">Examples</font>
<hr/>
<dl>
</dl>

=== Etymology ===