BPFK Section: Logical Variables: Difference between revisions

From Lojban
Jump to navigation Jump to search
No edit summary
 
m (Text replace - "{BOX()} " to "")
Line 1: Line 1:
[[User:Mark Shoulson|Mark Shoulson]] was goofing around with various graphics tools, as is my wont... I made these some time ago, during the course of my puttering.


Here's a ray-traced, rotating Lojban logo:


[[File:lojlogoanim.gif]]
===  cmavo: da (KOhA1) ===


(Hmm. Oh yeah, I forgot, the aspect ratio is bad in that one.  Well, I'll fix it someday.)
==== Proposed Definition ====


Necker cubes are fun in and of themselves. I kind of like this version I made:
something 1. Variable that can be bound by a logical quantifier.  


[[File:neckercubework.gif]]
====  Proposed Tag ====


I also have an "impossible" cube that was actually ray-traced as though perfectly possible.  Maybe I'll put it up... and people can wonder how I pulled it off! ''--mi'e [[User:Mark Shoulson|.mark.]].''
====  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.

Revision as of 16:45, 4 November 2013


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.
Retrieved from "https://mw-live.lojban.org/index.php?title=BPFK_Section:_Logical_Variables&oldid=74492"