Derive the conclusion of the following argument!. It can be done in 10 additional steps!.
1!. (x)(Ix > Cx)
2!. (x)(Sx > Ix)
3!. (3x)(Px & Sx / (3x)(Px & Cx)
Www@QuestionHome@Com
Question Home |
Position:Home>Philosophy> ~~Predicate Logic.4 ~~?Question: ~~Predicate Logic!.4 ~~!? Derive the conclusion of the following argument!. It can be done in 10 additional steps!.
1!. (x)(Ix > Cx) 2!. (x)(Sx > Ix) 3!. (3x)(Px & Sx / (3x)(Px & Cx) Www@QuestionHome@Com Best Answer - Chosen by Asker: 1!. (?x)(Ix ? Cx) 2!. (?x)(Sx ? Ix) 3!. (?x)(Px ? Sx) !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. // !.!.!.!.!.!.!.!.!.!. (?x)(Px ? Cx) 4!. Pc ? Sc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 3 Existential Instantiation 5!. Ic ? Cc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 1 Universal Instantiation 6!. Sc ? Ic !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 2 Universal Instantiation 7!. Sc ? Cc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 5,6 Hypothetical Syllogism 8!. Sc ? Pc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 4 Commutativity 9!. Sc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 8 Simplification 10!. Cc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 7,9 Modus Ponens 11!. Pc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 4 Simplification 12!. Pc ? Cc !.!.!.!.!.!.!.!.!.!.!.!.!.!. 10,11 Conjunction 13!. (?x)(Px ? Cx) !.!.!.!. 12 Existential Generalization Www@QuestionHome@Com |