Scribd Logo
Upload

Welcome to Scribd!

  • Derivation Guide chpt3

    Uploaded by

    divina jiang
    10 views1 page
    This document provides strategies for deriving different quantifier statements in logic. It recommends either setting up a universal derivation or assuming the negation for "∀αφ" and either deriving "φ" then using existential generalization or assuming the negation for "∃αφ". It also provides strategies for deriving the negations of universal and existential statements by assuming the statement for an indirect derivation or deriving the corresponding existential or universal statement. The document recommends using existential instantiation before universal instantiation when both are available and provides advice to apply existential instantiation before universal instantiation when instantiating to the same variable.

    Original Description:

    Original Title

    derivation_guide_chpt3

    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 provides strategies for deriving different quantifier statements in logic. It recommends either setting up a universal derivation or assuming the negation for "∀αφ" and either deriving "φ" then using existential generalization or assuming the negation for "∃αφ". It also provides strategies for deriving the negations of universal and existential statements by assuming the statement for an indirect derivation or deriving the corresponding existential or universal statement. The document recommends using existential instantiation before universal instantiation when both are available and provides advice to apply existential instantiation before universal instantiation when instantiating to the same variable.

    Copyright:

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

    Derivation Guide chpt3

    Uploaded by

    divina jiang
    This document provides strategies for deriving different quantifier statements in logic. It recommends either setting up a universal derivation or assuming the negation for "∀αφ" and either deriving "φ" then using existential generalization or assuming the negation for "∃αφ". It also provides strategies for deriving the negations of universal and existential statements by assuming the statement for an indirect derivation or deriving the corresponding existential or universal statement. The document recommends using existential instantiation before universal instantiation when both are available and provides advice to apply existential instantiation before universal instantiation when instantiating to the same variable.

    Copyright:

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

    Derivation Strategies (L3 ) [Logic: 1 Rabern]

    To Derive: Try this:

    ∀αφ (1) Set up a universal derivation. Write a show line containing ∀αφ, and then
    immediately follow this with a show line containing φ. When the second show is
    cancelled, use rule ud to cancel the first.
    (2) Or write a show line with ∀αφ, and then assume ¬∀αφ for an indirect derivation.
    Use qn to get ∃α¬φ and proceed from there.

    ∃αφ (1) Derive φ and then use rule eg.


    (2) Or write a show line with ∃αφ, and then assume ¬∃αφ for an indirect derivation.
    Use qn to get ∀α¬φ and proceed from there.

    ¬∀αφ (1) State a show line with ¬∀αφ, and then assume ∀αφ for indirect derivation.
    (2) Or derive ∃α¬φ and use qn.

    ¬∃αφ (1) State a show line with ¬∃αφ, and then assume ∃αφ for an indirect derivation.
    (2) Or derive ∀α¬φ and use qn.

    If Available: Try this:

    ∀αφ Use rule ui to derive an instance. (But use rule ei first if that is an option.)

    ∃αφ Use rule ei to derive an instance.

    ¬∀αφ Use qn to turn this into ∃α¬φ

    ¬∃αφ Use qn to turn this into ∀α¬φ

    Sage advice: When using both ei and ui to instantiate to the same variable, apply rule ei before
    rule ui.

    You might also like