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:
Posts (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...
-
Title Goes Here This is my web page
-
NOTE. Occasionally, over the years, I have published discussions of the binary tree picture of the reals. This post continues in that ve...