BCS303

CLASSWORK
Classwork problem one
What is known:
o 1. The law says that it is a crime for an American to sell weapons to hostile
nations: ∀𝑥, 𝑦, 𝑧[(𝐴𝑚𝑒𝑟𝑖𝑐𝑎(𝑥) ∧ 𝑊𝑒𝑎𝑝𝑜𝑛(𝑦) ∧ 𝑁𝑎𝑡𝑖𝑜𝑛(𝑧) ∧ 𝐻𝑜𝑠𝑡𝑖𝑙𝑒(𝑧) ∧
𝑆𝑒𝑙𝑙𝑠(𝑥, 𝑧, 𝑦) → 𝐶𝑟𝑖𝑚𝑖𝑛𝑎𝑙(𝑥))].
o 2. The country Nono, an enemy of America, has some missiles and all of its
missiles were sold to it by Colonel West, who is an American:
∃𝑥[𝑂𝑛𝑤𝑠(𝑁𝑜𝑛𝑜, 𝑥) ∧ 𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥)],
o 3. ∀ 𝑥[(𝑂𝑤𝑛𝑠(𝑁𝑜𝑛𝑜, 𝑥) ∧ 𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥)) → 𝑆𝑒𝑙𝑙𝑠(𝑊𝑒𝑠𝑡, 𝑁𝑜𝑛𝑜, 𝑥)],
o 4. ∀𝑥[𝑀𝑖𝑠𝑠𝑖𝑙𝑒(𝑥) → 𝑊𝑒𝑎𝑝𝑜𝑛(𝑥)],
o 5. ∀𝑥[𝐸𝑛𝑒𝑚𝑦(𝑥, 𝐴𝑚𝑒𝑟𝑖𝑐𝑎) → 𝐻𝑜𝑠𝑡𝑖𝑙𝑒(𝑥)],
o 6. 𝐴𝑚𝑒𝑟𝑖𝑐𝑎(𝑊𝑒𝑠𝑡),
o 7. 𝑁𝑎𝑡𝑖𝑜𝑛(𝑁𝑜𝑛𝑜),
o 8. 𝐸𝑛𝑒𝑚𝑦(𝑁𝑜𝑛𝑜, 𝐴𝑚𝑒𝑟𝑖𝑐𝑎),
o 9. 𝑁𝑎𝑡𝑖𝑜𝑛(𝐴𝑚𝑒𝑟𝑖𝑐𝑎).
What to prove: West is a criminal. 𝑪𝒓𝒊𝒎𝒊𝒏𝒂𝒍(𝑾𝒆𝒔𝒕)

Classwork problem one

What is the probability that John has malaria given that he has a slightly
unusual symptoms: a high fever. Given that (a) probability that a person has
malaria regardless of symptoms is 0.0001, (b) probability that a person has the
symptom of fever given that he has malaria is 0.75, (c) probability that a person
has symptom of fever given that he does not have malaria is 0.14, and (d) John
has fever.