## 这是一个加拿大的数理逻辑限时测试代写，以下是具体作业内容：

For questions 1-4, symbolize the English sentence using the abbreviation scheme provided
for each question.

1. Athletes, who are fit, that don’t do a warmup get injured unless they are lucky. (4)

B: {1} is an athlete. D: {1} does a warmup. F: {1} is fit. K:{1} gets injured.
M: {1} is lucky.

2. Not everyone has a negative attitude despite the fact that no one is always happy.(4)

A: {1} is a person. B: {1} has a negative attitude. D: {1} is always happy.

3. A cat being cute is sufficient for them to be pet by someone, only on the condition
that they aren’t evil. (4)

A: {1} is a cat. C: {1} is cute. D: {1} is pet by someone. E: {1} is evil.

4. Among minds and ideas, either they exist or no one understands Berkeley. (4)

A: {1} is a person. B: {1} understands Berkeley. D: {1} is a mind.
F: {1} is an idea. E: {1} exists.

5. Translate the following symbolic sentence into an IDIOMATIC English sentence
using the abbreviation scheme provided. (4)

(Aa∧Ab∧Ac)∧((Ba∧Bb∧~Bc)∨(Ba∧~Bb∧Bc)∨(~Ba∧Bb∧Bc))
A: {1} is amazing. B: {1} is alive. a: Sharon. b: Lois. c: Bram.

6. Show the following argument is valid using a derivation. Use only the basic rules:
MP, MT, ADD, MTP, ADJ, S, R, DN, CB, BC, EI, EG, and UI. (10)

∃w(Bw∧Fw)→∃w~Hw. ∴ ∀x(Fx→~∀z(Bz∧Hz))

7. Show the following argument is valid using a derivation. You may use the basic rules
as well as the DERIVED RULES: CDJ, DM, NC, NB, SC, and QN. (8)

~∃z(~Hz∧~Bz). ∴ ~∀x∃y~(Hx∨By)