Skip to main content
Engineering LibreTexts

2.4: Predicate Logic

  • Page ID
    9670
  • In propositional logic, we can let stand for “Roses are red” and stand for “Violets are blue”. Then ∧ will stand for “Roses are red and violets are blue”. But we lose a lot in the translation into logic. Since propositional logic only deals with truth values, there’s nothing we can do with and in propositional logic that has anything to do with roses, violets, or colour. To apply logic to such things, we need predicates. The type of logic that uses predicates is called predicate logic or, when the emphasis is on manipulating and reasoning with predicates, predicate calculus.