Metamath Proof Explorer

Table of Contents - 20.16.4.24. First-order logic: miscellaneous

Miscellaneous theorems of first-order logic.

  1. bj-sblem1
  2. bj-sblem2
  3. bj-sblem
  4. bj-sbievw1
  5. bj-sbievw2
  6. bj-sbievw
  7. bj-sbievv
  8. bj-moeub
  9. bj-sbidmOLD
  10. bj-dvelimdv
  11. bj-dvelimdv1
  12. bj-dvelimv
  13. bj-nfeel2
  14. bj-axc14nf
  15. bj-axc14
  16. mobidvALT
  17. sbn1ALT