SOL Prep

Logical Reasoning

Virginia SOL DM.LR.1

Develop and apply logical arguments using reasoning and symbolic logic.

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

What students need to be able to do

  • Use Venn diagrams to codify and solve logic problems.
  • Express logical statements in symbolic form.
  • Represent a conditional statement as its converse, inverse, and contrapositive.
  • Describe how symbolic logic maps processes in computer applications.
  • Construct a truth table to display all possible input combinations and their outputs.
  • Identify rules of inference and model logical statements including De Morgan's Law.
  • Apply logical reasoning to model contextual situations and make decisions.