Export

Develop an understanding of the fundamentals of propositional logic, arguments, and methods of proof.

Number: MA.912.D.6

Title: Logic

Type: Standard

Subject: X-Mathematics (former standards - 2008) - Archived

Grade: 912

Body of Knowledge: Discrete Mathematics

This cluster includes the following benchmarks

Code	Description
MA.912.D.6.1:	Use truth tables to determine truth values of propositional statements.
MA.912.D.6.2:	Find the converse, inverse, and contrapositive of a statement
MA.912.D.6.3:	Determine whether two propositions are logically equivalent.
MA.912.D.6.4:	Use methods of direct and indirect proof and determine whether a short proof is logically valid.
MA.912.D.6.5:	Identify and give examples of : undefined terms; axioms; theorems; inductive and deductive proofs; and, inductive and deductive reasoning.
MA.912.D.6.6:	Construct logical arguments using laws of detachment (modus ponens), syllogism, tautology, and contradiction; judge the validity of arguments, and give counterexamples to disprove statements.
MA.912.D.6.7:	Use applications of the universal and existential quantifiers to propositional statements.

This cluster includes the following access points.

Access Point Number	Access Point Title
MA.912.D.6.In.a:	Determine whether “if, then” statements for common events in real-world situations are true or false.
MA.912.D.6.In.b:	Determine whether two statements have the same mathematical meaning.

Access Point Number	Access Point Title
MA.912.D.6.Su.a:	Use pictures and objects to determine whether statements about common events in real-world situations are true or false.
MA.912.D.6.Su.b:	Match two statements that have the same mathematical meaning.

Access Point Number	Access Point Title
MA.912.D.6.Pa.a:	Recognize whether the solution to a problem involving quantities to 10 in real-world situations is correct or incorrect.

Standard 6 : Logic (Archived)