Module 2: Predicates and Quantifiers
Abstract
Description
This module covers the concepts of predicates, quantifiers and valid arguments. In predicate logic, predicates are used alongside quantifiers to express the extent to which a predicate is true over a range of elements.range is called the {\bf domain of discourse} (or the {\bf universe of discourse}). Such a Using quantifiers to create such propositions is called {\bf quantification}. A valid argument is an argument in which if all its premises are true, then the conclusion of that argument will also be true.