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