|
Register | Blogging | Today's Posts | Search |
|
Thread Tools | Display Modes |
09-29-2008, 12:29 AM | #31 (permalink) |
;)
Join Date: Nov 2005
Location: CA
Posts: 3,503
|
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 |