Term
|
Definition
If S then B
S
Therefore, B
Valid |
|
|
Term
|
Definition
If S then B
Not B
Therefore Not S
Valid |
|
|
Term
|
Definition
Is S then B
If B then D
If S then D |
|
|
Term
|
Definition
A or B
Not B
Therefore A
Valid |
|
|
Term
|
Definition
If S then B
If M then F
Not B or Not F
Therefore, Not S or Not B
Valid |
|
|
Term
|
Definition
If S then B
If M then F
S or M
Therefore, B or F |
|
|
Term
|
Definition
If S then B
B
Therefore S
Invalid |
|
|
Term
|
Definition
If S then B
Not S
Therefore not B |
|
|
Term
|
Definition
| if premises are true, so must conclusion |
|
|
Term
|
Definition
| such that, if premises are true, thehn the conclusion is very likely to be true. |
|
|
Term
|
Definition
| goal of deductive reasoning |
|
|
Term
|
Definition
| valid logic; all true premises |
|
|
