SMS: An introduction to logic