Explore BrainMass

Explore BrainMass

    Four predicate logic proofs

    Not what you're looking for? Search our solutions OR ask your own Custom question.

    This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

    I am looking for help with Predicate and Quantitative Logic.
    Provide proofs for the attached 4 problems using the 9 rules of inference, the 10 rules of replacement and Quantitative logic.

    Provide proof s for the following four arguments using:

    The 9 rules of inference; Modus Pollens (MP); Modus Tollens (MT); Hypothetical Syllogism (HS);
    Disjunctive Syllogism (DS); Constructive Dilemna (CD); Absorption (Abs); Simplification (Simp);
    Conjuction (Conj); and Addition (Add)

    The 10 rules of replacement: DeMorgans Theorems (DeM); Commutation (Com); Association (Assoc);
    Distribution (Dist);Double Negation (DN); Transposition (Trans); Implication (Impl);
    Equivalence (Equiv); Exportation (Exp); and Repetition (Rep)

    Quantification Logic: Universal Instantiation (UI); Universal Generalization (UG); Existential
    Generalization (EG); Existential Instantiation (EI) and Change of Quantifier Rules (CQ)

    1. (x) [Ax > Bx > Cx)]
    2. (3x) (Ax v Dx)
    3. (x) ~Dx
    4. (x) Bx / (3x) Cx

    1. ~(3x) (Ax & ~Bx)
    2. ~(3x) (Bx & ~Cx) / (x) (Ax > Cx)

    1. (3x) (~Hx) > (x) (Ax > Bx)
    2. ~(x) (Hx v Bx) / (3x) ~Ax

    1. (3x) (Px v Gx) > (x) Hx
    2. (3x) (~Hx) / (x) (~Px)

    © BrainMass Inc. brainmass.com December 24, 2021, 5:55 pm ad1c9bdddf


    Solution Preview

    Please find attached the proofs and review them carefully. Different books often have ...

    Solution Summary

    Provides completed proofs for four predicate / quantitative logic proofs.