Simon Forman
2013-10-24 03:18:07 UTC
Hey,
I wanted to mention an example of using the "Laws of Form" notation to solve a logic puzzle looks like. Lewis Carroll's Five Liar Problem is used by George Burnett-Stuart' and William Bricken:
I wanted to mention an example of using the "Laws of Form" notation to solve a logic puzzle looks like. Lewis Carroll's Five Liar Problem is used by George Burnett-Stuart' and William Bricken: