Difference between revisions of "Expansion of logical connections"

From Lojban
Jump to navigation Jump to search
m (→‎Full bridi connections: Adding one space)
m (Minor improvements and fixes)
Line 3: Line 3:
  
 
<pre>
 
<pre>
Forethought:  { GA brode gi brodo }
+
Forethought:  { GA mi brode gi do brodo }
Afterthought:  { brode .i JA brodo }
+
Afterthought:  { mi brode .i JA do brodo }
 
</pre>
 
</pre>
  
Line 25: Line 25:
 
=  GA mi brode ti do gi mi brodo tu do
 
=  GA mi brode ti do gi mi brodo tu do
 
=  mi brode ti do .i JA mi brodo tu do
 
=  mi brode ti do .i JA mi brodo tu do
 
 
== Interaction with scope ==
 
 
(Yet to be written)
 
 
</pre>
 
</pre>
  
  
== Sumti connection ==
+
== Sumti connections ==
  
 
<pre>
 
<pre>
Line 44: Line 39:
  
  
== Multiple sumti connection ==
+
== Multiple sumti connections ==
  
 
<pre>
 
<pre>
Line 51: Line 46:
 
=  ga [ go mi ti broda gi mi tu broda ] gi [ go do ti broda gi do tu broda ]
 
=  ga [ go mi ti broda gi mi tu broda ] gi [ go do ti broda gi do tu broda ]
 
</pre>
 
</pre>
 +
 +
 +
== Interaction with scope ==
 +
 +
(Yet to be written)

Revision as of 17:58, 31 July 2014

Full bridi connections

Forethought:   { GA mi brode gi do brodo }
Afterthought:  { mi brode .i JA do brodo }

Full bridi connectives encodes a relation between two statements (du'u abstractions), and can be expressed using the appropriate predicate word:

  • kaxyje'u = both statements x1 (du'u) and x2 (du'u) are true (logical conjunction)
  • vlinyje'u = at least one of the statements x1 (du'u) and x2 (du'u) is true (logical disjunction)
  • (...)

Therefore, the bridi connection { ga mi brode gi do brodo } can be rephrased as below:

  • vlinyje'u fa lo du'u mi brode kei lo du'u do brodo

Bridi-tail connections

Forethought:   { mi GA [ brode ti ] gi [ brodo tu ] vau do }
Afterthought:  { mi [ brode ti ] GIhA [ brodo tu ] vau do }

=  GA mi brode ti do gi mi brodo tu do
=  mi brode ti do .i JA mi brodo tu do


Sumti connections

Forethought:   { GA mi gi do broda }
Afterthought:  { mi A do broda }

=  GA mi broda gi do broda
=  mi broda .i JA do broda


Multiple sumti connections

mi .a do ti .o tu broda

=  ga [ go mi ti broda gi mi tu broda ] gi [ go do ti broda gi do tu broda ]


Interaction with scope

(Yet to be written)