Apr 30, 2024  
2021-2022 Archived Catalog 
    
Catalog Navigation
  Catalog Home
  Welcome
  General Academic Information
  Instructional Support Services
  Student Resources and Services
  Programs of Study
  Transfer Guides
  Course Descriptions
  Glossary of College and Financial Aid Terms
  Archived Catalogs (2015 and prior)
HELP
2021-2022 Archived Catalog

PHIL-190 Introduction to Logic

Credits 3 / 3 Contact Hours
Pre-requisite: Placement into ACRD-090, ACRD-091 or ACRD-092, completion of ELAP-110 with a minimum grade of 2.0, or successful completion of ACRD-080. 
A study of the tools and methods of modern symbolic logic to analyze and evaluate arguments. Two different methods are introduced to distinguish valid from invalid arguments. Symbolic representation of statements and proof procedures for the validity of arguments are emphasized.

Course Outcomes
NEW Students who successfully complete the course should be able to: • Differentiate inductive from deductive arguments. • Translate propositions and arguments from natural languages into propositional form. • Compute truth-tables for propositional logic. • Solve proofs using natural deduction in propositional logic (direct deduction). • Solve proofs using natural deduction in propositional logic (conditional proof). • Solve proofs using natural deduction in propositional logic (indirect proof). • Translate propositions and arguments from natural languages into quantificational logic. • Solve proofs using natural deduction in quantificational logic (direct deduction). • Solve proofs using natural deduction inn quantificational logic (conditional proof). • Solve proofs using natural deduction in quantificational logic (indirect proof).