MATH 1190 Lecture Notes - Lecture 3: Propositional Calculus, Propositional Variable, Expert System
Document Summary
Math 1190 lecture 3 notes- applications of propositional logic, logic puzzles, system. Translating english sentences: there are many reasons to translate english sentences into expressions involving propositional variables and logical connectives. Instead, we will use propositional variables to represent each sentence part and determine the appropriate logical connectives between them. Then the sentence can be translated to(r s) q. Of course, there are other ways to represent the original sentence as a logical expression, but the one we have used should meet our needs. System specifications: translating sentences in natural language (such as english) into logical expressions is an essential part of specifying both hardware and software systems. System and software engineers take requirements in natural language and produce precise and unambiguous specifications that can be used as the basis for system development. We will discuss two logic puzzles here: example 7. Consequently, we can conclude that a is not a knight, that is, that p is false.