Logic: The Art of Reasoning