Question Home

Position:Home>Philosophy> ~~Predicate Logic.2~~?


Question: ~~Predicate Logic!.2~~!?
Need to derive the conclusion of the following argument!. It will take an additional 9 steps!.

1!. (x) [Ax > (Bx > Cx)]
2!. (3x)(Ax v Dx)
3!. (x)~Dx
4!. (x)Bx / (3x)Cx
Www@QuestionHome@Com


Best Answer - Chosen by Asker:
1!. (?x)[Ax ? (Bx ? Cx)]
2!. (?x)(Ax ∨ Dx)
3!. (?x)~Dx
4!. (?x)Bx !.!.!.!.!.!.!.!.!.!.!.!.!.!. // !.!.!.!.!.!.!. (?x)Cx

5!. Ac ∨ Dc !.!.!.!.!.!.!.!.!.!.!.!.!. 2 EI
6!. Dc ∨ Ac !.!.!.!.!.!.!.!.!.!.!.!.!. 5 Comm
7!. ~Dc !.!.!.!.!.!.!.!.!.!.!.!.!.!. 3 UI
8!. Ac !.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 6,7 DS
9!. Ac ? (Bc ? Cc) !.!.!.!.!.!.!.!.!. 1 UI
10!. Bc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 4 UI
11!. Bc ? Cc !.!.!.!.!.!.!.!.!. 8,9 MP
12!. Cc !.!.!.!.!.!.!.!.!.!.!.!.!.!. 10,11 MP
13!. (?x)Cx !.!.!.!.!.!.!.!.!.!.!.!.!. 12 EGWww@QuestionHome@Com