Re: 'Nor' in the World's Languages

On Sun, 6 Aug 2006 16:36:50 +1000, Yahya Abdal-Aziz <yahya@...>
wrote:

> Hi all,
>
> I'm forwarding a (rather long) reply I recently made to Maarten van Wijk
about a question he raised on the Linguist list.  My main question to you
all is:
>
> In your conlangs, what kinds of logical connectives have you implemented?
> Examples would be:
> 1. A and B - AND
> 2. A or B or both (A and B) - the "inclusive or", OR
> 3. A or B but not both (A and B) - the "exclusive or", XOR
> 4. If A, then B - "A implies B"
> 5. A only if B - "A is implied by B"
> 6. A if and only if B  - "A and  B imply each other", "A and  B are
equivalent"
> 7. not A - ie the statement A is not true - cf Malay "tidak" for logical
negation, below
> 8. M is not a N - ie the thing M is not one of the things N - cf
Malay "bukan" for categorical negation, below
> 9. neither A nor B - ie not A and not B
>
> A secondary question is, if you wish to comment, how strictly do they
match the logician's view of those connectives?
>
>Regards,
>Yahya
>
In 'Yemls, I implemented 1, 2, 3, and 7 (or 8 -- I've forgotten which). All
others logical connectives are are derived from these. For example, 4 would
be: OR NOT A OR B (the conjunction is placed before the first clause as
well as successive clauses). More than two clauses can be connected. For 3,
the actual function isn't strictly XOR. XOR A XOR B XOR C would be true iff
exactly one of A, B, or C is true. You can guess that they're fairly
logical.

Jeff