False (logic) - Wikipedia
https://en.wikipedia.org/wiki/False_(logic)
False, negation and contradiction. In most logical systems, negation, material conditional and false are related as: ¬ p ⇔ (p → ⊥) In fact, this is the definition of negation in some systems, such as intuitionistic logic, and can be proven in propositional calculi where negation is a fundamental connective.Because p → p is usually a theorem or axiom, a consequence is that the negation ...
DA: 50 PA: 52 MOZ Rank: 69