Jump to content

User:Wvbailey/Parsing PM

From Wikipedia, the free encyclopedia
< User:Wvbailey
This is an old revision of this page, as edited by Wvbailey (talk | contribs) at 19:32, 11 November 2012 (←Created page with 'This is a sandbox page for a look at how to parse the propositional formulas in Principia Mathematica. ⊃ Ɔ ≡ ⊂ ∪ ∩ ∨ ∧ ∨ ∩ ∪ ⊂ ⊃ Ɔ ≡ ...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This is a sandbox page for a look at how to parse the propositional formulas in Principia Mathematica. ⊃ Ɔ ≡ ⊂ ∪ ∩ ∨ ∧ ∨ ∩ ∪ ⊂ ⊃ Ɔ ≡ ε Λ ℩ ⊓ ⊔ ▪■︰✸ ✹ ✱


Footnotes

References

  • Pope, Taylor, Waylaard [no date], "Monadic Parsing: A Case Study",
Retrieved from "https://en.wikipedia.org/w/index.php?title=User:Wvbailey/Parsing_PM&oldid=522520052"