Talk:Negation as Implication of Bottom

In one direction, this is a form of PBC. In the other it is not. It is my understanding that some actually take this as a definition of negation, dropping the PBC axiom. --Dfeuer (talk) 20:19, 30 May 2013 (UTC)


 * Source?


 * It's not terribly profound: PBC is the "inverse" of PNC and MPP is the "inverse" of RoI (can't think of a more appropriate term than "inverse" right now). --prime mover (talk) 21:04, 30 May 2013 (UTC)


 * No acceptable source for that remark. No claim of profundity, but I think it's nice to have the two-way statement in one place, even if the pieces end up going their separate ways. --Dfeuer (talk) 21:29, 30 May 2013 (UTC)


 * Ah, here's a source. --Dfeuer (talk) 21:38, 30 May 2013 (UTC)