Introduction to symbolic logic | lit.salon