 |
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(n) 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 non-truth-table 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." |
|
.