Introduction to Sentential Logic