Date | May 2013 | Marks available | 2 | Reference code | 13M.1.sl.TZ2.2 |
Level | SL only | Paper | 1 | Time zone | TZ2 |
Command term | Write in symbolic form | Question number | 2 | Adapted from | N/A |
Question
Consider the following propositions.
p : Students stay up late.
q : Students fall asleep in class.
Write the following compound proposition in symbolic form.
If students do not stay up late then they will not fall asleep in class.
Complete the following truth table.
Write down a reason why the statement \(\neg ( p \vee \neg q)\) is not a contradiction.
Markscheme
\(\neg p \Rightarrow \neg q\) (A1)(A1) (C2)
Note: Award (A1) for any 2 correct symbols seen in a statement, (A1) for all 3 correct symbols in correct order.
(A1)(A1)(ft)(A1)(ft) (C3)
Note: Award (A1) for each correct column. 4th column is follow through from 3rd, 5th column is follow through from 4th.
Not all of last column is F (R1)(ft) (C1)
Note: Award (R1)(ft) if final column does not lead to a contradiction.