= Digital systems, linear algebra, introduction to formal proof
{scope}
{title2=4224}
The original cover dates this paper to 20 June 2014. The solutions follow the printed numbering and use the supplied <natural deduction> rules, including <double-negation elimination>. In the proof tables, the context column lists the numbered assumptions still in force; temporary assumptions are explicitly discharged by the indicated rule.<Digital systems, linear algebra, introduction to formal proof examination paper by the University of Oxford (2014)>[Cover and Figures 1–3, printed pages 1 and 9]{ref}
Back to article page
