Will I be given any reference sheets on the exam? If so which ones exactly.
You will be given three sheets:
- logical laws for transformational proofs
- inference rules for natural deduction
- rules for semantic tableaux
You will not be given anything else.
Peter