BPFK Section: Logical Variables: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
Robertbaruch (talk | contribs) m (+category) |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
=== cmavo: da (KOhA1) === | |||
==== Proposed Definition ==== | |||
something 1. Variable that can be bound by a logical quantifier. | |||
==== Proposed Tag ==== | |||
==== See Also ==== | |||
==== Proposed Keywords ==== | |||
==== Usage Examples ==== | |||
;ro da poi gapkla cu nitkla:"Everything that goes up, comes down." | |||
==== Notes ==== | |||
==== Issues ==== | |||
{BOX} | |||
=== cmavo: de (KOhA1) === | |||
==== Proposed Definition ==== | |||
something 2. Variable that can be bound by a logical quantifier. | |||
==== Proposed Tag ==== | |||
==== See Also ==== | |||
==== Proposed Keywords ==== | |||
==== Usage Examples ==== | |||
;su'o da su'o de gapkla gi'e stali:"Something goes up somewhere and stays there." | |||
==== Notes ==== | |||
==== Issues ==== | |||
{BOX} | |||
=== cmavo: di (KOhA1) === | |||
==== Proposed Definition ==== | |||
something 3. Variable that can be bound by a logical quantifier. | |||
==== Proposed Tag ==== | |||
==== See Also ==== | |||
==== Proposed Keywords ==== | |||
==== Usage Examples ==== | |||
;pa da broda ijo ge su'o de broda gi ro di poi broda cu du de:"Exactly one x is a broda iff some y is a broda and every z that is a broda is that y." | |||
==== Notes ==== | |||
==== Issues ==== | |||
{BOX} | |||
=== General Section Issues === | |||
* da, de, di are '''singular''' variables when bound by singular quantifier, i.e. they take values one at a time. The quantifier indicates the number of values it can take such that with each of those values the quantified bridi is true. A variable bound by a '''plural''' quantifier could take more than one value at a time to satisfy a predicate. | |||
[[Category:BPFK Section]] | |||
[[Category:BPFK Sections including selma'o KOhA|L]] |
Latest revision as of 23:20, 3 April 2020
cmavo: da (KOhA1)
Proposed Definition
something 1. Variable that can be bound by a logical quantifier.
Proposed Tag
See Also
Proposed Keywords
Usage Examples
- ro da poi gapkla cu nitkla
- "Everything that goes up, comes down."
Notes
Issues
{BOX}
cmavo: de (KOhA1)
Proposed Definition
something 2. Variable that can be bound by a logical quantifier.
Proposed Tag
See Also
Proposed Keywords
Usage Examples
- su'o da su'o de gapkla gi'e stali
- "Something goes up somewhere and stays there."
Notes
Issues
{BOX}
cmavo: di (KOhA1)
Proposed Definition
something 3. Variable that can be bound by a logical quantifier.
Proposed Tag
See Also
Proposed Keywords
Usage Examples
- pa da broda ijo ge su'o de broda gi ro di poi broda cu du de
- "Exactly one x is a broda iff some y is a broda and every z that is a broda is that y."
Notes
Issues
{BOX}
General Section Issues
- da, de, di are singular variables when bound by singular quantifier, i.e. they take values one at a time. The quantifier indicates the number of values it can take such that with each of those values the quantified bridi is true. A variable bound by a plural quantifier could take more than one value at a time to satisfy a predicate.