|
|
|
Dec 30, 2024
|
|
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)
|
|
|
