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