https://mw-live.lojban.org/index.php?title=bu%27ai_and_xe%27u&feed=atom&action=historybu'ai and xe'u - Revision history2024-03-29T14:09:32ZRevision history for this page on the wikiMediaWiki 1.38.4https://mw-live.lojban.org/index.php?title=bu%27ai_and_xe%27u&diff=119551&oldid=prevGuskant: gau sarxe lo jbovlaste se ciska2016-03-31T13:34:49Z<p>gau sarxe lo jbovlaste se ciska</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 13:34, 31 March 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{cmavo|bu'ai|NU|Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. }}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>{{cmavo|bu'ai|NU|Abstractor<ins style="font-weight: bold; text-decoration: none;">: </ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">abstractor</ins>: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. }}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>See [[BPFK Section: Abstractors]], [[Experimental cmavo]], [[BPFK Section: Abstractors|su'u]], [[BPFK Section: Pro-bridi|bu'a]], '''xe'u'''.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>See [[BPFK Section: Abstractors]], [[Experimental cmavo]], [[BPFK Section: Abstractors|su'u]], [[BPFK Section: Pro-bridi|bu'a]], '''xe'u'''.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[BPFK Section: Grammatical Pro-sumti|zo'e]] and [[BPFK Section: Logical Variables|da]] are <del style="font-weight: bold; text-decoration: none;">free </del>and bound <del style="font-weight: bold; text-decoration: none;">variables </del>of predicate logic of first order respectively; [[BPFK Section: Pro-bridi|co'e]] and [[BPFK Section: Pro-bridi|bu'a]] are <del style="font-weight: bold; text-decoration: none;">free </del>and bound selbri <del style="font-weight: bold; text-decoration: none;">variables </del>of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. [[BPFK Section: Abstractors|su'u]] <del style="font-weight: bold; text-decoration: none;">and '''bu'ai''' </del>in selma'o NU can compose respectively <del style="font-weight: bold; text-decoration: none;">free </del>and bound selbri <del style="font-weight: bold; text-decoration: none;">variables </del>in the domain of all selbri of second order. In the case that '''bu'ai''' takes plural number of selbri variables, connect them with [[BPFK Section: Non-logical Connectives|ju'e]] or something. Higher order is also possible by nesting '''bu'ai'''. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[BPFK Section: Grammatical Pro-sumti|zo'e]] and [[BPFK Section: Logical Variables|da]] are <ins style="font-weight: bold; text-decoration: none;">a constant </ins>and <ins style="font-weight: bold; text-decoration: none;">a </ins>bound <ins style="font-weight: bold; text-decoration: none;">variable </ins>of predicate logic of first order respectively; [[BPFK Section: Pro-bridi|co'e]] and [[BPFK Section: Pro-bridi|bu'a]] are <ins style="font-weight: bold; text-decoration: none;">a selbri constant </ins>and <ins style="font-weight: bold; text-decoration: none;">a </ins>bound selbri <ins style="font-weight: bold; text-decoration: none;">variable </ins>of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. [[BPFK Section: Abstractors|su'u]] in selma'o NU can compose respectively <ins style="font-weight: bold; text-decoration: none;">a selbri constant </ins>and <ins style="font-weight: bold; text-decoration: none;">a </ins>bound selbri <ins style="font-weight: bold; text-decoration: none;">variable </ins>in the domain of all selbri of second order. In the case that '''bu'ai''' takes plural number of selbri variables, connect them with [[BPFK Section: Non-logical Connectives|ju'e]] or something. Higher order is also possible by nesting '''bu'ai'''. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{mu|su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{mu|su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a}}</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' <del style="font-weight: bold; text-decoration: none;">here </del>is an abstraction-variable-indicator-<del style="font-weight: bold; text-decoration: none;">brivla </del>used in order to put a word of selma'o NU in prenex.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' is an abstraction-variable-indicator-<ins style="font-weight: bold; text-decoration: none;">selbrisle </ins>used in order to put a word of selma'o NU in prenex.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>{{cmavo|xe'u|GOhA|Abstraction variable indicator <del style="font-weight: bold; text-decoration: none;">brivla</del>.}}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>{{cmavo|xe'u|GOhA|Abstraction variable indicator <ins style="font-weight: bold; text-decoration: none;">selbrisle</ins>.}}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>See [[BPFK Section: Pro-bridi|GOhA]], [[Experimental cmavo]], [[BPFK Section: Abstractors|ce'u]], '''bu'ai'''.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>See [[BPFK Section: Pro-bridi|GOhA]], [[Experimental cmavo]], [[BPFK Section: Abstractors|ce'u]], '''bu'ai'''.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' is a pro-bridi (meaning it takes the place of a fully-specified bridi). '''xe'u''' indicates that the <del style="font-weight: bold; text-decoration: none;">brivla </del>is considered to be a bridi-variable that can be filled by other bridi. '''xe'u''' makes sense only inside abstraction clauses. In particular, '''xe'u''' is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See '''bu'ai''' for usage.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' is a pro-bridi (meaning it takes the place of a fully-specified bridi). '''xe'u''' indicates that the <ins style="font-weight: bold; text-decoration: none;">selbrisle </ins>is considered to be a bridi-variable that can be filled by other bridi. '''xe'u''' makes sense only inside abstraction clauses. In particular, '''xe'u''' is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See '''bu'ai''' for usage.</div></td></tr>
<!-- diff cache key mediawiki:diff::1.12:old-115383:rev-119551 -->
</table>Guskanthttps://mw-live.lojban.org/index.php?title=bu%27ai_and_xe%27u&diff=115383&oldid=prevCirko: fiksi lo linki2015-06-15T09:44:26Z<p>fiksi lo linki</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:44, 15 June 2015</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>*proposed by guskant.</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[BPFK Section: Grammatical Pro-sumti|zo'e]] and [[BPFK Section: Logical Variables|da]] are free and bound variables of predicate logic of first order respectively; [[BPFK Section: Pro-bridi|co'e]] and [[BPFK Section: Pro-bridi|bu'a]] are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. [[BPFK Section: Abstractors|su'u] and '''bu'ai''' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that '''bu'ai''' takes plural number of selbri variables, connect them with [[BPFK Section: Non-logical Connectives|ju'e]] or something. Higher order is also possible by nesting '''bu'ai'''. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[BPFK Section: Grammatical Pro-sumti|zo'e]] and [[BPFK Section: Logical Variables|da]] are free and bound variables of predicate logic of first order respectively; [[BPFK Section: Pro-bridi|co'e]] and [[BPFK Section: Pro-bridi|bu'a]] are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. [[BPFK Section: Abstractors|su'u<ins style="font-weight: bold; text-decoration: none;">]</ins>] and '''bu'ai''' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that '''bu'ai''' takes plural number of selbri variables, connect them with [[BPFK Section: Non-logical Connectives|ju'e]] or something. Higher order is also possible by nesting '''bu'ai'''. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{mu|su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a}}</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{mu|su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a}}</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' here is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>'''xe'u''' here is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.</div></td></tr>
<!-- diff cache key mediawiki:diff::1.12:old-109015:rev-115383 -->
</table>Cirkohttps://mw-live.lojban.org/index.php?title=bu%27ai_and_xe%27u&diff=109015&oldid=prevGleki: Created page with "{{cmavo|bu'ai|NU|Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. }} See BPFK Section: Abstracto..."2014-09-27T10:05:39Z<p>Created page with "{{cmavo|bu'ai|NU|Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. }} See BPFK Section: Abstracto..."</p>
<p><b>New page</b></p><div>{{cmavo|bu'ai|NU|Abstractor: abstractor to create logically quantified selbri variable to be used in predicate logic of third or higher order. }}<br />
See [[BPFK Section: Abstractors]], [[Experimental cmavo]], [[BPFK Section: Abstractors|su'u]], [[BPFK Section: Pro-bridi|bu'a]], '''xe'u'''.<br />
<br />
*proposed by guskant.<br />
[[BPFK Section: Grammatical Pro-sumti|zo'e]] and [[BPFK Section: Logical Variables|da]] are free and bound variables of predicate logic of first order respectively; [[BPFK Section: Pro-bridi|co'e]] and [[BPFK Section: Pro-bridi|bu'a]] are free and bound selbri variables of predicate logic of second order respectively; in order to express predicate logic of third or higher order, it is essential to have selbri that treat selbri variables in the domain of all selbri of second order. [[BPFK Section: Abstractors|su'u] and '''bu'ai''' in selma'o NU can compose respectively free and bound selbri variables in the domain of all selbri of second order. In the case that '''bu'ai''' takes plural number of selbri variables, connect them with [[BPFK Section: Non-logical Connectives|ju'e]] or something. Higher order is also possible by nesting '''bu'ai'''. <br />
{{mu|su'o bu'ai xe'u kei su'o bu'a ro da zo'u bu'ai da bu'a}}<br />
'''xe'u''' here is an abstraction-variable-indicator-brivla used in order to put a word of selma'o NU in prenex.<br />
<br />
{{cmavo|xe'u|GOhA|Abstraction variable indicator brivla.}}<br />
See [[BPFK Section: Pro-bridi|GOhA]], [[Experimental cmavo]], [[BPFK Section: Abstractors|ce'u]], '''bu'ai'''.<br />
<br />
*proposed by guskant.<br />
'''xe'u''' is a pro-bridi (meaning it takes the place of a fully-specified bridi). '''xe'u''' indicates that the brivla is considered to be a bridi-variable that can be filled by other bridi. '''xe'u''' makes sense only inside abstraction clauses. In particular, '''xe'u''' is almost solely used in prenex in order to put a word of selma'o NU in prenex in a statement of predicate logic of third or higher order. See '''bu'ai''' for usage.</div>Gleki