O ce hours: monday and wednesday, after class, dc2336, or by appointment. 2. 6. 2 temporal logic model checking of reactive programs . We will use the formal, descriptive languages of modern language to study and understand computational models and the problems that can be solved by computation. Logic di ereth from rhetoric in this, that logic handleth reason exact and in truth, and rhetoric handleth it as it is planted in popular opinion and manners. Logic: first used to demonstrate correctness of arguments. De nition 1. 0. 2 declarative sentence: a statement which in principle may be true or. Ambiguity in natural language can cause di culty determining if an argument holds. Eric does not believe that mary can pass any test. De nition 1. 0. 6 computer science: study and design of systems through the use of formal languages that are themselves formal systems.