Four predicate logic proofs
Not what you're looking for?
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)
1. (x) [Ax > Bx > Cx)]
2. (3x) (Ax v Dx)
3. (x) ~Dx
4. (x) Bx / (3x) Cx
2)
1. ~(3x) (Ax & ~Bx)
2. ~(3x) (Bx & ~Cx) / (x) (Ax > Cx)
3)
1. (3x) (~Hx) > (x) (Ax > Bx)
2. ~(x) (Hx v Bx) / (3x) ~Ax
4)
1. (3x) (Px v Gx) > (x) Hx
2. (3x) (~Hx) / (x) (~Px)
---
Purchase this Solution
Solution Summary
Provides completed proofs for four predicate / quantitative logic proofs.
Solution Preview
Please find attached the proofs and review them carefully. Different books often have ...
Purchase this Solution
Free BrainMass Quizzes
Descartes Meditations on First Philosophy
Short quiz relating to Descartes
The World Health Organization
This quiz assesses the students knowledge about the World Health Organization. Although listed under “Philosophy” it is relevant to health care, political science, pre-med, and social scientist students as well.