1. According to Leibniz's law, if x = y then y = x. True False 2. One can correctly move from Fbx to ($x)Fxx by EG. True False 3. Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. ; ; ; ~; ; \\; ; $ Symbolize the following, using the scheme of abbreviation provided: There is exactly one heavyweight champion. (Cx: x is a heavyweight champion) 4. "Everyone has a mother" can be symbolized as (x)(Px (y)(Py Myx)), where Px: x is a person, and Mxy: x is the mother of y. True False 5. Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. ; ; ; ~; ; \\; ; $ Symbolize this statement using the scheme of abbreviation provided: Nothing is heavier than itself. (Hxy: x is heavier than y) 6. (x)~Fx is logically equivalent to ~($x)Fx. True False 7. Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. ; ; ; ~; ; \\; ; $ Symbolize this statement using the scheme of abbreviation provided: No vampire is more cunning than Dracula. (Vx: x is a vampire; Cxy: x is more cunning than y; d: Dracula) 8. "Being the sibling of" is an irreflexive relation. True False 9. Symbols list You may use the list below to copy-and-paste symbols into your answer as needed. ; ; ; ~; ; \\; ; $ Symbolize this statement using the scheme of abbreviation provided: Mark Twain wrote Huckleberry Finn. (Wxy: x wrote y; t: Mark Twain; h: Huckleberry Finn) 10.From ($x)(y)Fxy we can validly infer ($x)Fxa, assuming that "a" is not found earlier in the proof. True False