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