phil370-discretemath-print.pdf