Basic Geometry Unit Review

Front

A/an __________________________ is a collection of values, symbols and rules designed to ensure that our reasoning is correct.

Back

logical system

Front

In the simplest logical systems, each statement has a/an __________________________ of true or false.

Back

logical value

Front

A/an __________________________ is a statement that is assumed to be true by “common sense.”

Back

axiom

Front

A/an __________________________ is a statement derived from one or more axioms using the rules of a logical system.

Back

theorem

Front

A set of logical steps which lead from a statement or statements known or assumed to be true to a theorem is called a/an __________________________ of that theorem.

Back

proof

Front

A/an __________________________ is a fact that proves that a logical statement is false.

Back

counterexample

Front

A logical statement of the form “If A then B,” where A and B are also logical statements, is called a __________________________ statement.

Back

conditional

Front

In a conditional statement "If A, then B," the "A" is called the ________________________.

Back

hypothesis

Front

In a conditional statement "If A, then B," the "B" is called the ________________________. Options: hypothesis, conclusion, converse, counterexample.

Back

conclusion

Front

What does "A → B" mean in logic?

Back

If A, then B