|
|||||||
| Register | Blogging | Today's Posts | Search |
|
|
Thread Tools | Display Modes |
|
|
#31 (permalink) |
|
;)
Join Date: Nov 2005
Location: CA
Posts: 3,511
|
let me set it up less ambiguously (because i don't get what you're saying)
a = b (or, a is b is true) b = ~a (or, b is a is false) the question is, a->b? (does a give you b?) if yes, a -> b and so through substitution a->~a, which is contradictory if no, a -> ~b, substituting a this time you get b->~b, which is also contradictory a simpler expression of the same paradox would simply be: this statement is false |
|
|
|