MATH 1190 Lecture Notes - Lecture 9: Logic Programming, Software Engineering, Semicolon
1 Feb 2018
School
Department
Course
Professor
Document Summary
Math 1190 lecture 9 notes translating from english into logical expressions, using. If we change the domain to consist of all people, we will need to express our statement as for every person x, if person x is a student in this class then x has studied calculus. If s(x) represents the statement that person x is in this class, we see that our statement can be expressed as x(s(x) c(x)). In this case, the statement can be expressed as x(s(x) (c(x) m(x))). Instead of using m(x) and c(x) to represent that x has visited mexico and x has visited canada, respectively, we could use a two-place predicate v (x, y) to represent x has visited country y. In this case, v (x, mexico) and v (x, canada) would have the same meaning as m(x) and c(x) and could replace them in our answers.
