Stefan Waner and Steven R. Costenoble of Hofstra University begin this online textbook by assigning students to prove the existence of God. This leads them to a concise discussion not of faith but of symbolic logic. This resource covers: statements and logical operators; logical equivalence, tautologies and contradictions; the conditional and biconditional; tautological implications and...