Scribd Logo
Upload

Welcome to Scribd!

  • Handout 4 Natural Deduction Rules For Predicate Logic EECS 203 Fall 2019

    Uploaded by

    sam
    8 views1 page
    This document introduces the natural deduction rules for predicate logic, which consist of 12 introduction and elimination rules for propositional logic applied to formulas rather than variables. It describes the universal and existential quantifier introduction and elimination rules, where universal introduction allows inferring a statement about all objects from statements about a particular object, and existential elimination allows inferring a statement about a particular object from a statement about the existence of some object. Examples are provided in another handout.

    Original Description:

    Original Title

    Handout4_NaturalDeductionRules_PredicateLogic

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    This document introduces the natural deduction rules for predicate logic, which consist of 12 introduction and elimination rules for propositional logic applied to formulas rather than variables. It describes the universal and existential quantifier introduction and elimination rules, where universal introduction allows inferring a statement about all objects from statements about a particular object, and existential elimination allows inferring a statement about a particular object from a statement about the existence of some object. Examples are provided in another handout.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    8 views1 page

    Handout 4 Natural Deduction Rules For Predicate Logic EECS 203 Fall 2019

    Uploaded by

    sam
    This document introduces the natural deduction rules for predicate logic, which consist of 12 introduction and elimination rules for propositional logic applied to formulas rather than variables. It describes the universal and existential quantifier introduction and elimination rules, where universal introduction allows inferring a statement about all objects from statements about a particular object, and existential elimination allows inferring a statement about a particular object from a statement about the existence of some object. Examples are provided in another handout.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 1

    Handout 4

    Natural Deduction Rules for Predicate Logic


    EECS 203
    Fall 2019

    The Natural Deduction rules for predicate calculus consist of the 12 introduction and
    elimination rules for propositional calculus in Handout 2 (with formulas rather than
    propositional variables) and the following four rules. There is an introduction rule for
    each quantifier (∀, ∃) and an elimination rule for each quantifier. Handout 3 contains
    examples.
    x0
    ..
    .
    P (x0 ) ∀xP (x)
    (∀-intro) (∀-elim)
    ∀xP (x) P (t)

    x0 P (x0 )
    ..
    .
    P (t) ∃xP (x) q
    (∃-intro) (∃-elim)
    ∃xP (x) q

    Note that like propositions in previous rules, these predicates can be as complex
    as needed. For example, if we let P (x) = Q(x) ∧ ∀yR(x, y), then the following is a
    valid application of ∃-intro:
    Q(4) ∧ ∀yR(4, y)
    ∃x(Q(x) ∧ ∀yR(x, y))

    You might also like