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 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...
-
Though out of step with the intellectual legions of the era, Bertrand Russell's 1910 essay, The Elements of Ethics, was prescient in...
-
The following is a proposed proof. Topology's Jordan curve theorem, first proposed in 1887 by Camille Jordan, asserts that an...
No comments:
Post a Comment