SOL Prep

Logical Reasoning

Virginia SOL DM.LR.2

Apply logic and proof techniques to construct sound arguments.

Study DM.LR.2 with SOL PrepBack to Discrete Mathematics

What students need to be able to do

  • Apply informal logical reasoning to contextual problems (e.g., software behavior, puzzles).
  • Outline the basic structure of proof techniques (direct proof, proof by contradiction, induction).
  • Deduce the best type of proof for a given problem.
  • Use rules of inference to construct direct proofs and proofs by contradiction.
  • Construct induction proofs involving summations and inequalities.
  • Use a truth table to prove the logical equivalence of statements.