Thursday, February 13, 2020

Trivial but neat

at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Your example: [(p-->q) + (q --> p)] [~(p-->q) v (~q --> p]).~[q p] Dot means "and." The above can be r...

  • A short proof of the Jordan curve theorem
    The following is a proposed proof. Topology's Jordan curve theorem, first proposed in 1887 by Camille Jordan, asserts that an...
  • Are the reals actually well-ordered?
    The well-ordering theorem, also known as Zermelo's theorem, says that every set can be well-ordered. A set X is well-ordered by a strict...
  • Footnote Vhu53
    Vhu53. In a jibe at empiricists, Leibniz compared them to unreasoning animals. Common souls are ruled like empirics, purely by sense example...