CIS 1166 Lecture Notes - Propositional Formula, Propositional Calculus, Logic Gate
20 Mar 2014
School
Department
Course
Professor
Document Summary
This note contains some material on propositional logic. It is instead a to be a substitute for your textbook or the class lectures. supplement and to some extent a guide to what is important. A proposition is something that has a de nite truth value, true or false. Thus commands or questions or exclamations are not propositions. Nor is something like x + 1 = 5 a proposition if we do not know the value of x. What x + 1 = 5 is is a propositional formula; if we specify the value of certain variables, then a propositional formula becomes a proposition. A proposition, for our purposes is not vague or ambiguous. So something like i went to the bank is not a proposition unless it is known which meaning of bank ( nancial institution or riverbank) is intenced. There are several important operators (also called connectives) that take one or more propositions as input and output a proposition.
