You will become more logical not only in analyzing arguments and claims but also in generating them. In addition, you will discover what it means to prove something with complete rigor in which nothing is left hidden in the background. That is, you will see what a real proof is. Sentential logic is also called statement logic or sentence logic. Predicate logic is more complicated, and it includes sentential logic as a part.
Predicate logic can break sentences down into their subjects and predicates.
This logic is used to represent relationships among objects and to represent the quantity of those objects. The course will pay some attention to the relevance of symbolic logic to philosophy, computer science, and mathematics. The plan is to cover the following topics in order. The use of predicate logic in mathematics and philosophy Your first reading assignment is to finish chapter 1 of the textbook before the second week of classes, but skip section 8 on page 14. Bring your textbook to class each time.