Term
|
Definition
| A statement in the form p -> q |
|
|
Term
|
Definition
| The "then" part of the conditional |
|
|
Term
|
Definition
|
|
Term
|
Definition
| A statement in the form ~q -> ~p |
|
|
Term
|
Definition
| A statement in the form q -> p |
|
|
Term
|
Definition
| Something that shows that a given general statement is not true |
|
|
Term
|
Definition
| Uses rules of logic to make a conclusion |
|
|
Term
|
Definition
| The "if" part of a conditional |
|
|
Term
|
Definition
| Uses examples to make a conjecture or rule |
|
|
Term
|
Definition
| A statement in the form ~p -> ~q |
|
|
Term
|
Definition
| If p - > q is a true conditional and p is true the q is true |
|
|
Term
|
Definition
| If p -> q and q -> r are true conditionals, the p -> r is true |
|
|
Term
|
Definition
| The denial of a statement |
|
|
Term
|
Definition
| A logical argument showing that the truth of a hypothesis guarantees the truth of the conclusion |
|
|
Term
|
Definition
| A formal proof in which statements are listed in one column and the reasons for each statement are listed in a second column |
|
|
