Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
loqi comments on
Proverbs and Cached Judgments: the Rolling Stone
loqi
1 Apr 2009 16:49 UTC
4
points
What’s the actual logical structure of the saying?
forall S. forall M. r(S) ⇒ not(g(S, M))
Back to top
forall S. forall M. r(S) ⇒ not(g(S, M))