D.8: Logic

From

Revision as of 22:02, 21 February 2010 (view source) Mitchfry (Talk | contribs) m (Created page with '== Discrete Math Learning modules == <br/><br/>') ← Older edit		Revision as of 23:25, 31 July 2010 (view source) Poul.murtha (Talk | contribs) Newer edit →
Line 2:		Line 2:
	<br/><br/>		<br/><br/>
		+
		+
		+	'''D.8 Logic:''' Understand the fundamentals of propositional logic, arguments, and
		+	methods of proof.
		+
		+	D.8.1 Use truth tables to determine truth values of compounded propositional
		+	statements.
		+
		+	D.8.2 Find the converse, inverse, and contrapositive of a statement.
		+
		+	D.8.3 Determine whether two propositions are logically equivalent.
		+
		+	D.8.4 Identify and give examples of undefined terms, definitions, axioms, and
		+	theorems.
		+
		+	D.8.5 Construct logical arguments using laws of detachment (modus ponens),
		+	syllogism, tautology, and contradiction; judge the validity of arguments, and
		+	give counterexamples to disprove statements.
		+
		+	D.8.6 Use applications of the universal and existential quantifiers to propositional
		+	statements.
		+
		+	D.8.7 Appropriately select and use methods of deductive, inductive, and indirect
		+	proof and determine whether a short proof is logically valid.

---

Revision as of 23:25, 31 July 2010

Discrete Math Learning modules

D.8 Logic: Understand the fundamentals of propositional logic, arguments, and methods of proof.

D.8.1 Use truth tables to determine truth values of compounded propositional statements.

D.8.2 Find the converse, inverse, and contrapositive of a statement.

D.8.3 Determine whether two propositions are logically equivalent.

D.8.4 Identify and give examples of undefined terms, definitions, axioms, and theorems.

D.8.5 Construct logical arguments using laws of detachment (modus ponens), syllogism, tautology, and contradiction; judge the validity of arguments, and give counterexamples to disprove statements.

D.8.6 Use applications of the universal and existential quantifiers to propositional statements.

D.8.7 Appropriately select and use methods of deductive, inductive, and indirect proof and determine whether a short proof is logically valid.