Recent ProfessorsNot yet assignedRecent SemestersNo scheduled sections on recordClass SizeNot publishedCredits3PrerequisiteENGL C1000 (formerly ENGL 100) or ENGL C1000E (formerly ENGL 105) with a minimum grade of C Transfers ToUC and CSUCal-GETC Area 1BDescriptionAn introduction to symbolic logic with an emphasis on constructing proofs of deductive arguments using a system of Natural Deduction. Includes probabilistic reasoning. English statements and arguments will be translated into a formal language for analysis of logical properties. Conversely, formalized statements and arguments will be rendered in English. Logic and probability will be integrated in composing argumentative essays.