Scribd Logo
Upload

Welcome to Scribd!

  • Quantifier Deduction Rules

    Uploaded by

    Matthew Rumley
    5 views1 page
    This document outlines 4 deduction rules: Universal Elimination allows inferring a statement with a particular object from a universal statement; Particular Introduction introduces an existential statement when a statement with a particular object is available; Universal Introduction introduces a universal statement when a statement is true for an arbitrary object; Particular Elimination eliminates an existential statement by discharging its assumption after proving a statement is true within the assumption's scope.

    Original Description:

    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 outlines 4 deduction rules: Universal Elimination allows inferring a statement with a particular object from a universal statement; Particular Introduction introduces an existential statement when a statement with a particular object is available; Universal Introduction introduces a universal statement when a statement is true for an arbitrary object; Particular Elimination eliminates an existential statement by discharging its assumption after proving a statement is true within the assumption's scope.

    Copyright:

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

    Quantifier Deduction Rules

    Uploaded by

    Matthew Rumley
    This document outlines 4 deduction rules: Universal Elimination allows inferring a statement with a particular object from a universal statement; Particular Introduction introduces an existential statement when a statement with a particular object is available; Universal Introduction introduces a universal statement when a statement is true for an arbitrary object; Particular Elimination eliminates an existential statement by discharging its assumption after proving a statement is true within the assumption's scope.

    Copyright:

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

    Deduction Rules III

    Universal Elimination Particular Introduction

    𝑖 ∀𝓍𝒜 𝑖 𝒜𝒸↷𝓍
    𝒜𝒸↷𝓍 ∀E 𝑖 ∃𝓍𝒜 ∃I 𝑖

    Universal Introduction Particular Elimination

    𝑖 𝒜𝒸↷𝓍 𝑖 ∃𝓍𝒜
    ∀𝓍𝒜 ∀I 𝑖 𝑗 𝒜𝒸↷𝓍
    𝒸 is a new name ⋮
    𝑘 ℬ
    ℬ ∃E 𝑖, 𝑗-𝑘
    𝒸 is a new name

    You might also like