Symbolic Logic Examination 1