Telefona gönder: An introduction to deductive logic