Expansion of logical connections: Difference between revisions
m (Adding a section) |
(→Interactions with scope: jmina lo sko'opu srana be lo nu su'o .adverbi ja kaidza sumsmi cu lidne su'o terjonma'o) |
||
(11 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
== Full bridi connections == | == Full bridi connections == | ||
<pre> | <pre> | ||
Forethought: | Forethought: { GA mi brode gi do brodo } | ||
Afterthought: { brode .i JA brodo } | Afterthought: { mi brode .i JA do brodo } | ||
</pre> | </pre> | ||
Full bridi connectives encodes a relation between two statements (du'u abstractions), and can be expressed using the appropriate predicate word: | 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) | * {{jvs|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) | * {{jvs|vlinyje'u}} = at least one of the statements x1 (du'u) and x2 (du'u) is true (logical disjunction) | ||
* (...) | * (...) | ||
Line 26: | Line 24: | ||
= 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 43: | Line 36: | ||
= mi broda .i JA do broda | = mi broda .i JA do broda | ||
</pre> | </pre> | ||
Termset connections follow the same expansion pattern as sumti connections. | |||
== 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> | |||
.i ko'a .e ko'e broda fo'a .e fo'e | |||
-> .i ko'a broda fo'a .e fo'e .ije ko'e broda fo'e .e fo'e | |||
-> (.i ko'a broda fo'a .ije ko'a broda fo'e) .ije (ko'e broda fo'a .ijebo ko'e broda fo'e) | |||
</pre> | |||
== Interactions with scope == | |||
When a bridi connective is followed by the "nai" suffix, this means that the right-hand side of the connection is negated; when it is preceded by the "na" connective prefix, this means the left-hand side of the connection is negated. | |||
In both cases, the negation scopes over that of any scope-generating word or construct located within the target side of the connection. | |||
However, in the case of bridi-tail connections, the whole bridi-tail connection is under the scope of any scope-generating word located in the shared bridi-head. | |||
Examples: | |||
<pre> | |||
• brode .i na ja nai brodo | |||
= naku brode .i ja naku brodo | |||
• ro da brode de na gi'a nai brodo di | |||
= ro da brode naku de gi'a brodo naku di | |||
= ro da zo'u da brode naku de .i ja da brodo naku di | |||
= ro da zo'u ga da brode naku su'o de gi da brodo naku su'o di | |||
</pre> | |||
In the case of sumti connectives, a negative connective affix (na, nai) will scope over the connected sumti, as shown in the example below: | |||
<pre> | |||
• da broda ro brodo na .e de di | |||
= da broda ro brodo na gi'e broda de vau di | |||
= da broda naku ro brodo di .i je da broda de di | |||
</pre> | |||
Furthermore, any quantifier or adverbial term appearing on the left of a GIhA or A connection will have scope over it: | |||
<pre> | |||
• naku brode gi'e brodo | |||
= naku ge brode gi brodo | |||
</pre> | </pre> |
Latest revision as of 12:45, 5 August 2015
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
Termset connections follow the same expansion pattern as sumti connections.
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 ]
.i ko'a .e ko'e broda fo'a .e fo'e -> .i ko'a broda fo'a .e fo'e .ije ko'e broda fo'e .e fo'e -> (.i ko'a broda fo'a .ije ko'a broda fo'e) .ije (ko'e broda fo'a .ijebo ko'e broda fo'e)
Interactions with scope
When a bridi connective is followed by the "nai" suffix, this means that the right-hand side of the connection is negated; when it is preceded by the "na" connective prefix, this means the left-hand side of the connection is negated. In both cases, the negation scopes over that of any scope-generating word or construct located within the target side of the connection. However, in the case of bridi-tail connections, the whole bridi-tail connection is under the scope of any scope-generating word located in the shared bridi-head.
Examples:
• brode .i na ja nai brodo = naku brode .i ja naku brodo • ro da brode de na gi'a nai brodo di = ro da brode naku de gi'a brodo naku di = ro da zo'u da brode naku de .i ja da brodo naku di = ro da zo'u ga da brode naku su'o de gi da brodo naku su'o di
In the case of sumti connectives, a negative connective affix (na, nai) will scope over the connected sumti, as shown in the example below:
• da broda ro brodo na .e de di = da broda ro brodo na gi'e broda de vau di = da broda naku ro brodo di .i je da broda de di
Furthermore, any quantifier or adverbial term appearing on the left of a GIhA or A connection will have scope over it:
• naku brode gi'e brodo = naku ge brode gi brodo