Title: Introduction to symbolic logic