model-checking-functions Model checking functions for Propositional and First Order Logic Part of an assignment for a course in computational semantics