SOL: G.1
G.1 The student will construct and judge the validity of a logical argument consisting of a set of premises and a conclusion. This will include
a) identifying the converse, inverse, and contrapositive of a conditional statement;
b) translating a short verbal argument into symbolic form;
c) using Venn diagrams to represent set relationships; and
d) using deductive reasoning.

Learning Objectives

SWBAT: Identify/Use Inductive Reasoning

SWBAT: Find Counterexamples to false conjectures

SWBAT: Honors: Generalize conjectures (nth term)

SWBAT: Use/Identify Conjunctions

SWBAT: Use/Identify Disjunctions

SWBAT: Determine Truth Value of Conjunctions and Disjunctions

SWBAT: Read/Interpret Venn diagrams

SWBAT: Construct Venn diagrams

SWBAT: Convert statements to conditionals

SWBAT: Identify hypothesis/conclusions of conditionals

SWBAT: Determine truth value of conditionals

SWBAT: Write converse of a conditional

SWBAT: Write inverse of a conditional

SWBAT: Write contrapositive of a conditional

SWBAT: Determine the truth value of related conditionals

SWBAT: Determine truth value of biconditionals

SWBAT: Identify/Use Deductive Reasoning

SWBAT: Identify/Use Law of Syllogism

SWBAT: Identify/Use Law of Detachment

SWBAT: Determine the validity of a conclusion

SWBAT: Identify and use basic postulates about points, lines, and planes

SWBAT: Use algebra to write two-column proofs

SWBAT: Use properties of equality to write geometric proofs

SWBAT: Write proofs involving segment addition

SWBAT: Write proofs involving congruence

SWBAT: Write proofs involving supplementary and complementary angles

SWBAT: Write proofs involving congruent and right angles