An introduction to deductive logic | lit.salon