Term
|
Definition
| A phrase that is either true or false |
|
|
Term
|
Definition
| Displays all possible values and corresponding results. |
|
|
Term
|
Definition
| Negation of a compound statement. |
|
|
Term
|
Definition
| A statement whos result is always true. |
|
|
Term
|
Definition
| A statement whos results are always false. |
|
|
Term
|
Definition
| A sequence of premesis, that if true, leads to a conclusion. |
|
|
Term
|
Definition
| An argument that contains two premisis and a conclusion (with a term in common). |
|
|
Term
|
Definition
| An error in reasoning which results in an invalid argument. |
|
|
Term
|
Definition
| Part of a sequence that gives information about the subject. |
|
|
Term
|
Definition
| collection of elements (objects). |
|
|
Term
|
Definition
| One of the items within a set. |
|
|
Term
|
Definition
| Every element in a second set is within (comes from) an original set. |
|
|
Term
|
Definition
| A subset where the original set has at least one additional item. |
|
|
Term
|
Definition
| Prove modus tollens instead of proving if P(x) then Q(x). |
|
|
Term
|
Definition
| Pythogoras -> a^2 + b^2 = c^2 / Theoreme -> sqrt(2) is irrational. |
|
|
Term
|
Definition
| a subsidiary preposition. |
|
|
Term
|
Definition
| Conquered spain in 711bc. |
|
|
Term
|
Definition
| -> father of algebra and Algorithm -> came from his name. |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
| Conjunctive Simplification |
|
Definition
|
|
Term
|
Definition
|
|
Term
| Contraposition in P then Q Form |
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|