Metamath Proof Explorer

Table of Contents - 21.15.1. Propositional Calculus

  1. tb-ax1
  2. tb-ax2
  3. tb-ax3
  4. tbsyl
  5. re1ax2lem
  6. re1ax2
  7. naim1
  8. naim2
  9. naim1i
  10. naim2i
  11. naim12i
  12. nabi1i
  13. nabi2i
  14. nabi12i
  15. w3nand
  16. df-3nand
  17. df3nandALT1
  18. df3nandALT2
  19. andnand1
  20. imnand2