80.2K

Verified Solution

Link Copied!

Fill in the missing steps of the proof of ((Ex)(Px)->Qb)->(Ax)(Px->Qb) from no premises. Put both missing sentences as well as missing proof rules, sometimes you'll need to put in a missing sente well as the proof rule used to derive it. IMPORTANT: When doing Existential Elimination, always begin with the constant 'a', and then 'b; so on down the alphabet. This is only in order for the answer key to recognize your answers prope No Premises Assumption Assumption Reit ((Ex)(Px)->Qb)->(Ax) (Px->Qb) Fill in the missing steps of the proof that (Ex)-(Ay)(Rxy) proves -(Ax)-(Ey)-(Rxy). Put both the missing sentences as well as missing proof rules, sometimes you'll need to put in a missing sentence as well as the proof rule used to derive it. (HINT: Use the derived quantifier rules where you can). IMPORTANT: When doing Existential Elimination, always begin with the constant 'a', and then 'b', and so on down the alphabet. This is only in order for the answer key to recognize your answers properly. (Ex)-(Ay)(Rxy) Assumption Assumption Reit -(Ax)-(Ey)-(Rxy) Assumption (Ex)(Px&(Ay)(Qy- >Rxy)) (AX)(Px->(Ay) (Ty->-Rxy) Assumption Assumption &E I Assumption &E Assumption Reit Reit (Ax)(Qx->Tx) Fill in the missing steps of the proof of ((Ex)(Px)->Qb)->(Ax)(Px->Qb) from no premises. Put both missing sentences as well as missing proof rules, sometimes you'll need to put in a missing sente well as the proof rule used to derive it. IMPORTANT: When doing Existential Elimination, always begin with the constant 'a', and then 'b; so on down the alphabet. This is only in order for the answer key to recognize your answers prope No Premises Assumption Assumption Reit ((Ex)(Px)->Qb)->(Ax) (Px->Qb) Fill in the missing steps of the proof that (Ex)-(Ay)(Rxy) proves -(Ax)-(Ey)-(Rxy). Put both the missing sentences as well as missing proof rules, sometimes you'll need to put in a missing sentence as well as the proof rule used to derive it. (HINT: Use the derived quantifier rules where you can). IMPORTANT: When doing Existential Elimination, always begin with the constant 'a', and then 'b', and so on down the alphabet. This is only in order for the answer key to recognize your answers properly. (Ex)-(Ay)(Rxy) Assumption Assumption Reit -(Ax)-(Ey)-(Rxy) Assumption (Ex)(Px&(Ay)(Qy- >Rxy)) (AX)(Px->(Ay) (Ty->-Rxy) Assumption Assumption &E I Assumption &E Assumption Reit Reit (Ax)(Qx->Tx)

Answer & Explanation Solved by verified expert

See Answer