MA.912.LT.4: Develop an understanding of the fundamentals of propositional logic, arguments and methods of proof.

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

MA.912.LT.4.1Translate propositional statements into logical arguments using propositional variables and logical connectives.MA.912.LT.4.10Judge the validity of arguments and give counterexamples to disprove statements.MA.912.LT.4.2Determine truth values of simple and compound statements using truth tables.MA.912.LT.4.3Identify and accurately interpret “if…then,” “if and only if,” “all” and “not” statements. Find the converse, inverse and contrapositive of a statement.MA.912.LT.4.4Represent logic operations, such as AND, OR, NOT, NOR, and XOR, using logical symbolism to solve problems.MA.912.LT.4.5Determine whether two propositions are logically equivalent.MA.912.LT.4.6Apply methods of direct and indirect proof and determine whether a logical argument is valid.MA.912.LT.4.7Identify and give examples of undefined terms; axioms; theorems; proofs, including proofs using mathematical induction; and inductive and deductive reasoning.MA.912.LT.4.8Construct proofs, including proofs by contradiction.MA.912.LT.4.9Construct logical arguments using laws of detachment, syllogism, tautology, contradiction and Euler Diagrams.
Goblins

1-on-1 AI tutoring aligned to MA.912.LT.4. Instant help for students, real-time insights for teachers.

Used in classrooms by 100,000+ students at Baltimore County, Plano ISD, Deer Valley USD, KIPP, and districts nationwide.

Free for teachers, forever →