Expansion of logical connections: Difference between revisions
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 | ||
</pre> | </pre> | ||
== Sumti | == Sumti connections == | ||
<pre> | <pre> | ||
Line 44: | Line 39: | ||
== Multiple sumti | == 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)