Metamath Proof Explorer

Table of Contents - 1.2.15.4. The false constant

  1. wfal
  2. df-fal
  3. fal
  4. nbfal
  5. bifal
  6. falim
  7. falimd
  8. dfnot
  9. inegd
  10. efald
  11. pm2.21fal