Title: Symbolic Logic and Other Forms of Deductive Reasoning