Derive the conclusion of the following argument!. It can be done in an additional 11 steps!.
1!. (3x) (~Hx) > (x) (Ax > Bx)
2!. ~(x) (Hx v Bx) / (3x)~Ax
Www@QuestionHome@Com
| Question Home |
Position:Home>Philosophy> ~~Predicate Logic.3~~?Question: ~~Predicate Logic!.3~~!? Derive the conclusion of the following argument!. It can be done in an additional 11 steps!.
1!. (3x) (~Hx) > (x) (Ax > Bx) 2!. ~(x) (Hx v Bx) / (3x)~Ax Www@QuestionHome@Com Best Answer - Chosen by Asker: 1!. (?x)(~Hx) ? (?x)(Ax ? Bx) 2!. ~(?x)(Hx ∨ Bx) !.!.!.!.!.!.!.!.!.!.!.!.!. // !.!.!.!.!.!.!.!.!.!.!. (?x)~Ax 3!. (?x)~(Hx ∨ Bx) !.!.!.!.!.!.!.!.!.!.!.!.!. 2 CQ 4!. ~(Hc ∨ Bc) !.!.!.!.!.!.!.!.!.!.!.!.!. 3 EI 5!. ~Hc ? ~Bc !.!.!.!.!.!.!.!.!.!.!.!. 4 DM 6!. ~Hc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 5 Simp 7!. (?x)~Hx !.!.!.!.!.!.!.!.!.!.!. 6 EG 8!. (?x)(Ax ? Bx) !.!.!.!. 1,7 MP 9!. Ac ? Bc !.!.!.!.!.!.!.!.!.!.!.!.!. 8 UI 10!. ~Bc ? ~Hc !.!.!.!.!.!.!.!.!.!. 5 Comm 11!. ~Bc !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 10 Simp 12!. ~Ac !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 8,11 MT 13!. (?x)~Ax !.!.!.!.!.!.!.!.!.!.!. 12 EGWww@QuestionHome@Com |