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
|
|
|