Term
|
Definition
can be either valid or invalid (not true or false) |
|
|
Term
|
Definition
have a truth value or has a possibility of being true |
|
|
Term
valid deductive arguements |
|
Definition
can be sound or unsound based off of the truth values |
|
|
Term
|
Definition
is a valid arguement in which all of the premises are true |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
what the proposition is making a claim about |
|
|
Term
switch subject and predicate |
|
Definition
|
|
Term
change the quantity and compliment the predicate (always valid) |
|
Definition
|
|
Term
switch the subject and predicate and compliment both |
|
Definition
|
|
Term
change the quantity and quality and truth value. (always invalid) |
|
Definition
|
|
Term
|
Definition
you can never infer a particular from a universal. |
|
|
Term
distribution of a type A proposition |
|
Definition
|
|
Term
|
Definition
subject and predicate distributed |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
for a converse which types are equivalent? |
|
Definition
|
|
Term
for a contrapositive, which types are equivalent? |
|
Definition
|
|
Term
what is the difference between Boolean and Aristatilian existential import claims? |
|
Definition
Boole states that a universal proposition cannot have universal import. |
|
|
Term
|
Definition
|
|
Term
|
Definition
there exists at least one |
|
|