User blog comment:PlantyThePottedPlant/Random Topic Blogging II: Electric Blogaloo/@comment-5522550-20120901220633/@comment-3479827-20120903021612

No, because that means not a (~a) is true, and b implies ~a, not a itself.