%%% Assignment 3 %%% Out: Monday Sep 24 %%% Due: Monday Oct 1 %%% %%% annotate the proofs from Assignment 1: annotated proof a : (A & (B & C)) => (A & B); annotated proof b : (A => B) => ((B => C) => (A => C)); annotated proof c : ((A => B) & (A | C)) => (B | C); annotated proof d : (A => ~ A) => (~ A); annotated proof e : (~ A & ~ B) => ~ (A | B); annotated proof f : A <=> A; annotated proof g : (A <=> T) <=> A; annotated proof h : ((A & B) => C) <=> (A => (B => C));