PHL-1090 - Introduction to Logic