UG in Irving Copi’s Symbolic Logic. tr 2023, 17 (1).