Term
|
Definition
| the first 8 rules because they consist of basic argument forms whose premises imply their conclusions. |
|
|
Term
|
Definition
| an arrangement of statement variables and operators such that the uniform replacement of the variables by statements results in an argument. |
|
|
Term
| Rules of Replacement (10) |
|
Definition
| expressed in terms of pairs of logically equivalent statement forms, either of which can replace the other in a proof sequence. |
|
|
Term
|
Definition
| :: Used to designate logical equivalence |
|
|
Term
|
Definition
| asserts that within the context of a proof, logically equivalent expressions may replace eachother. |
|
|
Term
|
Definition
| a method for obtaining a line in a proof sequence. Frequently offers the advantage of being shorter and simpler than the direct method. |
|
|
Term
| What are the four steps for Conditional Proofs? |
|
Definition
1. Assume the antecedent of a conditional.
2. Derive the consequent.
3. Assert the original condition by CP.
Discharge. |
|
|
Term
|
Definition
| a technique similar to conditional proof that can be used on any argument to derive either the conclusion or some intermediate line leading to the conclusion. |
|
|
Term
| What are the 3 steps of indirect proofs? |
|
Definition
1. Assume the negation of the conclusion.
2. Derive an explicit contradiction.
3. Assert original conclusion by indirect proof. |
|
|
Term
| Assumptions are...? (4 things) |
|
Definition
1. Explicitly Stated
2. Parsimonious: thrifty
3. Consistent: Possible for both to be true at the same time.
4. Discharged |
|
|
