HomeSampleAn introduction to logic pdf