Each PI has a link to a separate page to add resources. If you have information to add, just click on the PI. For example click on G.G.24 to start contributing.

Students will identify and justify geometric relationships formally and informally.

Informal and Formal Proofs

G.G.24 Determine the negation of a statement and establish truth value*

G.G.25 Know and apply the conditions under which a compound statement (conjunction, disjunction, conditional, biconditional) is true*

G.G.26 Identify and write the inverse, converse, and contrapositive of a given conditional statement and note the logical equivalences*

G.G.27 Write a proof arguing from a given hypothesis to a given conclusion

G.G.28 Determine the congruence of two triangles by using one of the five congruence techniques (SSS, SAS, ASA, AAS, HL), given sufficient information about the sides and/or angles of two congruent triangles

G.G.29 Identify corresponding parts of congruent triangles

G.G.30 Investigate, justify, and apply theorems about the sum of the measures of the angles of a triangle

G.G.31 Investigate, justify, and apply the isosceles triangle theorem and its converse

G.G.32 Investigate, justify, and apply theorems about geometric inequalities, using the exterior angle theorem

G.G.33 Investigate, justify, and apply the triangle inequality theorem

*Question:
It is not clear if formal logic proofs are part of the curriculum. C.M.5, G.G.24 - G.G.27 looks like it might include them, but we do not see any sample tasks that represent logic proofs. Please clarify!
Answer: Logic proofs are out, like what was required using Mous Ponens, Modus Tollens, etc. Students must, however, know and apply the conditions under which a compound statement (conjunction, disjunction, conditional, biconditional) is true as stated in G.G.25.

John Svendsen
SED Associate of Mathematics