|
1 | | In a deduction, a short note to the right of a line produced from the premises is a(n) . |
|
|
2 | | In a conditional claim, the is the subsidiary claim before the arrow, or immediately after the word "if." |
|
|
3 | | A capital letter standing for a claim is a claim- . |
|
|
4 | | A is a truth-functional relation, symbolized by the truth-functional "R" and usually translated "if-then." |
|
|
5 | | A deductive method for deriving the truth of a conditional claim is a . |
|
|
6 | | A(n) is a truth-functional relation, symbolized by the truth-functional symbol "&" and usually translated and. |
|
|
7 | | In a conditional claim, the is a subsidiary claim after the arrow, or immediately after the word "then," or after the phrase "only if." |
|
|
8 | | The method of proving an argument to be valid is . |
|
|
9 | | A(n) is a truth-functional relation, symbolized by the truth-functional symbol "v" and usually translated "or." |
|
|
10 | | In a deduction, a simple type of argument to be used as a rule in elucidating the steps of more complex arguments is a(n) argument pattern. |
|
|
11 | | A(n) condition is one that must be the case in order for something else to follow. |
|
|
12 | | is a truth-functional operation, symbolized by the truth-functional symbol "~" and usually translated "not." |
|