doronshadmi
Penultimate Amazing
- Joined
- Mar 15, 2008
- Messages
- 13,320
I simply gave an example of your inability to get Non-locality in terms of Membership.The Man said:Doron again it does not matter what “A represents”
A(represents "member") NXOR ~A(represents "not a member") is always FALSE (contradiction) for you, exactly because you are using a local-only view of the logical connective (mutuality) between A or ~A different (independent) states.
The general form is Non-locality(Logical connective)/Locality(Element) Linkage, which is mutual-independent no matter what Logical connectives or Elements are used (for example: in A=A, A≠A, A=~A, A≠~A expressions, = and ≠ are the mutual (non-local) aspect and A or ~A are the independent (local) aspect of the expressions, no matter if the result is always false or always true).
A non-limited view ( Non-locality(Logical connective)/Locality(Element) Linkage ) of A,~A in terms of NXOR/XOR logical connectives is:
Non-locality as expressed by NXOR:
Code:
A NXOR ~A
------------
F F --> T (Non-locality) (True)
F T --> F (Locality) (False)
T F --> F (Locality) (False)
T T --> T (Non-locality) (True)
Locality as expressed by XOR:
Code:
A XOR ~A
------------
F F --> F (Non-locality) (False)
F T --> T (Locality) (True)
T F --> T (Locality) (True)
T T --> F (Non-locality) (False)
Worng.The Man said:A and “~A” are still mutually dependent.
A or ~A is the difference (independent aspect) and any given logical connective is the connection (mutual aspect) of "A [Logical Connective] ~A" expression.
You are simply focused on the FT,TF input of that mutual-independent expression, and ignore the FF,TT input of that mutual-independent expression.
As a result you get this wrong conclusion:
The Man said:... again A XOR NOT A is always TRUE (a tautology) while A NXOR NOT A is always FALSE (a contradiction).
Again.
A non-limited view ( Non-locality(Logical connective)/Locality(Element) Linkage ) of A,~A in term s of NXOR/XOR logical connectives is:
Non-locality as expressed by NXOR:
Code:
A NXOR ~A
------------
F F --> T (Non-locality) (True)
F T --> F (Locality) (False)
T F --> F (Locality) (False)
T T --> T (Non-locality) (True)
Locality as expressed by XOR:
Code:
A XOR ~A
------------
F F --> F (Non-locality) (False)
F T --> T (Locality) (True)
T F --> T (Locality) (True)
T T --> F (Non-locality) (False)
In A,A case we are using "A [Logical Connective] A" self-reference expression, which is a Logical connective between A to itself , where A is the local (independent) aspect and the logical connective is the non-local (mutual) aspect of this expression (for example: in A=A, or A≠A expressions, = and ≠ are the mutual (non-local) aspect and A is the independent (local) aspect of the expressions, no matter if the result is always false or always true).
Since you do not get the Non-local/Local linkage that stands at the basis of the "A [Logical Connective] A" self-reference expression, you do not get that this expression is simply limited to the FF,TT input and can't deal with FT,TF input.
Form this limited view, you are wrongly arrived to general conclusions about the nature of mutual-independency (that sands also at the basis of self-reference expressions), by writing this:
The Man said:Similarly A XOR A is always FALSE (a contradiction) while A NXOR A is always TRUE (a tautology)
--------------------
The Man, your view of the discussed subject is closed under "A [Logical connective] A" or "A [Logical connective] ~A" expressions, without any under-standing of the Non-local/Local linkage that stands at the basis of both of them.
Last edited: