Consider a logic where "false" facts f add up
to F when multiple errors occur.
Introduce a "noddy" n joker that can be played
to turn a single f into a "true" t.
Show the truth tables for:
AND OR NOT IMPLIES
A & B A | B ! A A ⇒ B
t t t t T t f t t t t
f f t f t t t f f t t
t f f t t f t f f
f F f f f f f t f
n n t n t t F n n t t
t n n t t n t n n
n t f n n f n F f
f t n f n n f t n
n N n n f n n N n
F F t F t t n F F t t
t F F
F F f F F f F N f
f t F
F F n F N n F F n
n F F
F F F F F F F N F
Where F = f&f ≠ f is kept,
while we substitute:
T := t directly and N := n finally.
Both logic operations & and |
are commutative, so that: A&B = B&A
but only OR |
is associative: A|(B|C) = (A|B)|C
There's a simple arithmetical trick behind our truth tables:
We gave "true" the value t=0
and by putting f=1 as one "false"
we allow AND & to add facts A+B
to larger natural numbers F>1
which are deemed "falser".
The new truth value "noddy" n=-1
acts as our negative unit, so f&n = t.
To OR | was calculated by multiplication A*B
and the negation !A evaluated as (A|n)&f
equals 1 - A.
Now the conundrum F & n = 2-1 | 3-1 = f | F
is solved by 1*2 = 2 = F.
We defined implication A⇒B by (!A)|B = (1-A)*B
and alternatively as B - A*B = (n|A|B)&B
where you may choose to leave conflicting cases "undefined" ?
rather than resolving every operation as above.
No comments:
Post a Comment