Your example:
[(p-->q) + (q --> p)] <--> [~(p-->q) v (~q --> p]).~[q <--> p]
Dot means "and."
The above can be reduced to nand form, demonstrating that any syllogism can be translated to modus ponens form.
The original post had the leftmost "or" as "v" (inclusive or) rather than "+" (exclusive or).
For clarity, not as a correction, the leftmost equivalence symbol replaces a previous implication symbol.
Some Ryle essay footnotes appear on this site, which is devoted to life after physics.
There is no claim of expertise with respect to the musings on this page. Never use my stuff for homework!
Sunday, April 20, 2025
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...
-
The following is a proposed proof. Topology's Jordan curve theorem, first proposed in 1887 by Camille Jordan, asserts that an...
-
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...
-
Vhu53. In a jibe at empiricists, Leibniz compared them to unreasoning animals. Common souls are ruled like empirics, purely by sense example...
No comments:
Post a Comment