UG in Irving Copi’s Symbolic Logic