Vocabulary - Logic

A statement that we assume is true without proof.

• conjectures

• theorems

• definitions

• postulates

A true statement that can be proven

• definitions

• theorems

• conjectures

• axiom

Includes a category and a list of critical attributes

• conjectures

• theorems

• definitions

• postulates

Tags

CCSS.L.8.6

CCSS.L.9-10.6

CCSS.W.11-12.2D

CCSS.W.8.2D

CCSS.W.9-10.2D

Can only be described not defined. They are used to define other geometric terms.

Tags

CCSS.1.G.A.1

CCSS.2.G.A.1

Is formulated by observing and analyzing incomplete information.

• theorems

• postulates

• conjectures

• definitions

What is this?

• Conditional
• Inverse
• Converse
• Contrapositive

What does this mean?

• Conditional 
• Inverse 
• Converse 
• Contrapositive 

To fully disprove a conjecture, one needs to find only ONE counterexample.

• True

• False

Tags

CCSS.L.11-12.4C

CCSS.L.6.4C

CCSS.L.7.4C

CCSS.L.8.4C

CCSS.L.9-10.4C

An example that shows a conjecture is false

• Disjunction

• Counterexample

• Negation

• Conclusion

Tags

CCSS.7.G.B.5

The statement that has the opposite meaning.

• Negation

• Inverse

• Converse

• Contrapositive

Tags

CCSS.L.11-12.6

CCSS.L.8.6

CCSS.L.9-10.6

CCSS.W.8.2D

CCSS.W.9-10.2D