formal logic
Budget: $10 – $30 CAD
Using any combination of the 8 Basic Rules and the 10 Equivalence Rules, construct proofs
for each of the following FIVE questions.
Each proof is worth 20 marks.
If the proof is challenging, work out your answer in the space to the right or on the back
of one of the test pages before NEATLY writing it down in the space provided.
MICROSCRIPT or EXTREMELY FAINT handwriting is NOT appreciated.
Partial marks will be awarded on the basis of how far an incomplete or erroneous proof
goes toward establishing that the truth of the assigned conclusion is necessitated by the
truth of the given premises.
(1) G ⊃ M
1) (E v ~G) v M P
2) ~E P
for each of the following FIVE questions.
Each proof is worth 20 marks.
If the proof is challenging, work out your answer in the space to the right or on the back
of one of the test pages before NEATLY writing it down in the space provided.
MICROSCRIPT or EXTREMELY FAINT handwriting is NOT appreciated.
Partial marks will be awarded on the basis of how far an incomplete or erroneous proof
goes toward establishing that the truth of the assigned conclusion is necessitated by the
truth of the given premises.
(1) G ⊃ M
1) (E v ~G) v M P
2) ~E P
Related categories:
Computer Science