Term
|
Definition
| Logical statment including hypothesis and conclusion |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
| Statement formed by switching hypothesis and conclusion |
|
|
Term
|
Definition
|
|
Term
|
Definition
| statement formed by negating the hypothesis and conclusion |
|
|
Term
|
Definition
| statement formed when you switch the order and negate a conditional statement |
|
|
Term
|
Definition
| two lines that intersect to form a right angle |
|
|
Term
|
Definition
|
|
Term
|
Definition
| If p implies q and p is true, then q is true. |
|
|
Term
|
Definition
| If p implies q and q implies r, then p implies r. |
|
|
Term
|
Definition
| true statement that can be proven |
|
|
Term
|
Definition
| type of proof involving enumerated statements and reasons |
|
|
Term
|
Definition
| type of proof written in paragraph form |
|
|
Term
| Addition Property of Equality |
|
Definition
|
|
Term
| Subtraction Property of Equality |
|
Definition
|
|
Term
| Multiplication Property Of Equality |
|
Definition
|
|
Term
| Division Property of Equality |
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
| a = b and b = c implies a = c |
|
|
Term
|
Definition
| a = b therefore a can be replaced by b |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
