%%% Assignment 1 %%% Out: Wednesday Sep 5 %%% Due: Monday Sep 17 proof a : (A & (B & C)) => (A & B); proof b : (A => B) => ((B => C) => (A => C)); proof c : ((A => B) & (A | C)) => (B | C); proof d : (A => ~ A) => (~ A); proof e : (~ A & ~ B) => ~ (A | B); proof f : A <=> A; proof g : (A <=> T) <=> A; proof h : ((A & B) => C) <=> (A => (B => C));