About 241 results found. (Query 0.7738 seconds)
(Names: lower case; properties and relations: upper case. The predicate-first syntax is conventional but without deep significance.) (i) the formation of quatified sentences: \(\forall \mathsf{xWx}\) ( Everyone x is such that x is wise )...