EXAMINATION PACK
COS3761
PAST PAPER SOLUTIONS AND NOTES
1
, Content page
Contents
EXAMINATION PACK ................................................................................................... 1
Content page .................................................................................................................. 2
1. OCT/NOV 2019 .................................................................................................... 3
2. MAY/JUNE 2019................................................................................................. 11
3. OCT/NOV 2018 .................................................................................................. 18
2
, 1. OCT/NOV 2019
¬(𝑟 → ¬𝑞)
If Bob has a fever and it is raining then Solomon is dancing
1 𝑝→𝑞 Premise
2 ¬𝑝 → 𝑟 Premise
3 ¬𝑞 → ¬𝑟 Premise
4 ¬𝑞 Assumption
5 ¬𝑟 → 𝑒𝑙𝑖𝑚 3, 4
6 ¬𝑝 𝑀𝑇 1, 4
7 𝑟 → 𝑒𝑙𝑖𝑚 2, 6
8 ⊥ ¬𝑒𝑙𝑖𝑚 5,7
9 𝑞 PBC 4-8
COS3761
PAST PAPER SOLUTIONS AND NOTES
1
, Content page
Contents
EXAMINATION PACK ................................................................................................... 1
Content page .................................................................................................................. 2
1. OCT/NOV 2019 .................................................................................................... 3
2. MAY/JUNE 2019................................................................................................. 11
3. OCT/NOV 2018 .................................................................................................. 18
2
, 1. OCT/NOV 2019
¬(𝑟 → ¬𝑞)
If Bob has a fever and it is raining then Solomon is dancing
1 𝑝→𝑞 Premise
2 ¬𝑝 → 𝑟 Premise
3 ¬𝑞 → ¬𝑟 Premise
4 ¬𝑞 Assumption
5 ¬𝑟 → 𝑒𝑙𝑖𝑚 3, 4
6 ¬𝑝 𝑀𝑇 1, 4
7 𝑟 → 𝑒𝑙𝑖𝑚 2, 6
8 ⊥ ¬𝑒𝑙𝑖𝑚 5,7
9 𝑞 PBC 4-8