06_Logic_Proof.ppt