The words contained in this file might help you see if this file matches what you are looking for:

...Semantic data solutions of suggested exercises practice first order logic syntax fol exercise which sentences are well formed formulas or terms non logical symbols constants a b functions f g predicates p r q with indicated arity not y x z find the free variables in following no variable finding meaning what is all four wheels cars strong engine fast anybody who parent an ancestor also for any car on highway road under normal conditions speed allowed t travel farfrom mycity where represents my to at time sometimes either i don anywhere far from city live if and equivalent yes by definition implication formulating function mapcolor borders country given each corresponding candidate expressions indicate expression correctly expresses english sentence syntactically invalid therefore meaningless c valid but incorrect does express region south america europe correct ii d iii southamerica iv two adjacent countries have same map color this requires equality translate into everyone mad there l...