#predicate calculus

For more semantics resources, including semantics-related exercises from the linguistics olympiads to try, check out this week’s issue of Mutual Intelligibility. 

Well, at least I can write a definite description. Now lets just hope I can translate things like "Achilles is the one Greek feared by the only trojan that fears no other Greek"

I am enjoying the Christmas holiday. I get the chance to watch Pluralsight courses. I stumbled upon an interesting (intermediate) course for anyone with an interest in using formal logic as a basis of improving one's code. I have managed to watch the first hour (covering the first two modules). The first module was a refresher course on predicate calculus, which took me back to my university days. The second part shows an application of predicate calculus, albeit not always a direct one... I look forward to the remainder of the course. I am sure to fit it in within the next few days.