Skip to main content
Humanities LibreTexts

3.2: Predicate Logic - Semantics and Validity

  • Page ID
    1813
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    • 3.2.1: Interpretations
      Recall that we used truth tables to give very precise definitions of the meaning of '&', 'v' '~', '⊃', and '≡'. We would like to do the same for the meaning of quantifiers. But, as you will see very soon, truth tables won't do the job. We need something more complicated.
    • 3.2.2: Truth in an Interpretation
      An interpretation tells us whether each atomic sentence formed from predicates and names is true or false. What about compound sentences? If the main connective of a compound sentence does not involve a quantifier, we simply use the old rules for the connectives of sentence logic. We have only one more piece of work to complete: We must make more exact our informal description of the conditions under which a quantified sentence is true or is false in an interpretation.
    • 3.2.3: Validity in Predicate Logic

    Contributors and Attributions

    • Paul Teller (UC Davis). The Primer was published in 1989 by Prentice Hall, since acquired by Pearson Education. Pearson Education has allowed the Primer to go out of print and returned the copyright to Professor Teller who is happy to make it available without charge for instructional and educational use.


    3.2: Predicate Logic - Semantics and Validity is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?