Talk:Negation as Implication of Bottom
Jump to navigation
Jump to search
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)