Professional Documents
Culture Documents
For example, we can use predicate logic to express the statement "All cats are
mammals" as "For all x, if x is a cat, then x is a mammal." In this statement, "x"
is a variable that ranges over the set of all things, "cat" and "mammal" are
predicates that express properties of things, and "if...then" is a logical
connective that expresses a conditional relationship between the antecedent
(x is a cat) and the consequent (x is a mammal).
For example, the compound proposition "p ∧ q" represents the logical "and"
of two simpler propositions p and q. The truth value of the compound
proposition depends on the truth values of p and q. If both p and q are true,
then the compound proposition is true. If either p or q (or both) is false, then
the compound proposition is false.