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
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 |