Title: Introductory symbolic logic without formal proofs