Solved

Assuming "Z" Is Not Found Earlier in the Proof, from ($X)($y)((Px

Question 51

Multiple Choice

Assuming "z" is not found earlier in the proof, from ($x) ($y) ((Px • Py) → Lxy) we may validly infer

A) ($x) ((Px • Pb) → Lxb) .
B) ($y) ((Pa • Py) → Lay) .
C) ($y) ((Py • Py) → Lyy) .
D) ($x) ((Pa • Py) → Lay) .

Related Questions

Q46: The identity rule allows us to A) infer

Q47: Symbols list You may use the list below

Q48: All of the following are well-formed formulas

Q49: Symbols list You may use the list below

Q50: Symbols list You may use the list below

Q52: Which of the following is the best

Q53: One can correctly move from (y)($z)Lzy to

Q54: One can correctly move from (x)(y)Fxy →

Q55: Symbols list You may use the list below

Q56: In logicese, (x)(Fx • Gx) says A) everything