Derive the conclusion of the following argument!. It can be done in 8 additional steps!.
1!.(x)(x =r)
2!. Hr & Kn / Hn & Kr
Www@QuestionHome@Com
Question Home |
Position:Home>Philosophy> Predicate Logic~!#@$?Question: Predicate Logic~!#@$!? Derive the conclusion of the following argument!. It can be done in 8 additional steps!.
1!.(x)(x =r) 2!. Hr & Kn / Hn & Kr Www@QuestionHome@Com Best Answer - Chosen by Asker: 1!. (?x)(x = r) 2!. Hr ? Kn !.!.!.!.!.!.!.!.!.!.!.!.!.!.!. // !.!.!.!.!.!.!.!.!.!.!.!.!. Hn ? Kr 3!. Hr !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 2 Simp 4!. Kn ? Hr !.!.!.!.!.!.!.!.!.!.!.!. 2 Comm 5!. Kn !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 4 Simp 6!. n = r !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 1 UI 7!. r = n !.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 6 Comm 8!. Hn !.!.!.!.!.!.!.!.!.!.!.!.!.!.!. 3,7 Id (Associative) 9!. Kr !.!.!.!.!.!.!.!.!.!.!.!.!.!. 5,6 Id (Associative) 10!. Hn ? Kr !.!.!.!.!.!.!.!.!.!.!.!. 8,9 ConjWww@QuestionHome@Com !.!.!.1!.y!.!.!.2b!.!.!.3c!.!.!.4u!.!.!.5i!.!.!.6a!.!.!.7q!.!.!.8!.!.!.Www@QuestionHome@Com |