2021-2022 Pierce College Catalog 
    
    Sep 24, 2022  
2021-2022 Pierce College Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL& 120 Symbolic Logic (5 credits)



Distribution Area Fulfilled Quantitative and Symbolic Reasoning; General Transfer Elective
Formerly PHIL& 106

Prerequisite MATH 096  or MATH 098  with at least a 2.0 grade or satisfactory placement.

Course Description
Introduction to modern symbolic logic emphasizing sentence logic with translation and proofs and quantificational logic with translation and proofs.

Student Outcomes
1. Explain what logic shows us about language and argument
2. Recognize the differences between deductive and inductive arguments
3. Compare valid with invalid arguments
4. Determine the strength or weakness of arguments
5. Translate English language statements into the symbolic language of logic
6. Construct and analyze truth tables
7. Construct counterexamples to demonstrate invalidity
8. Solve logic proofs using the methods and rules of natural deduction
9. Understand the difference between necessary and sufficient conditions
10. Construct truth tables and distinguish between equivalent, contradictory and tautologous statements and arguments
11. Solve logic proofs using the methods and rules of predicate logic



Add to Portfolio (opens a new window)