**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