Previous:
Predicate Logic
Years ago I took a course in predicate logic, never used it and don't remember much. But if there are some mathfags out there that are interested in decoding Q messages, predicate logic might be useful.
I have long suspected that Q uses some AI when compiling messages so as to remain consistent and …logical.
Just a thought