derive the conclusions of each of the following arguments using the rules of inference for F, including the rules for identity.
-1. Ha • Ia • (?x)[(Hx • Ix) ? x=a]
2. Hb • Jb • (?x)[(Hx • Jx) ? x=b]
3. Ka • ?Kb / ?(?x)(Hx • Ix • Jx)

Question

Quizplus · Accepted Answer

The Answer of derive the conclusions of each of the following arguments using the rules of inference for F, including the rules for identity.
-1. Ha • Ia • (?x)[(Hx • Ix) ? x=a]
2. Hb • Jb • (?x)[(Hx • Jx) ? x=b]
3. Ka • ?Kb / ?(?x)(Hx • Ix • Jx)

Derive the Conclusions of Each of the Following Arguments Using