click below
click below
Normal Size Small Size show me how
Discrete Maths
| Term | Definition |
|---|---|
| Propostitions | statements that are true or false (used with "and," "or," "not," and "if...then.") |
| Predicates | statements that have variables which DOESNT allow it to be true or false yet |
| Quantifiers | covers the scope of a predicate universal quantifier (∀) indicates that a predicate is true "for all" elements in a given domain existential quantifier (∃) indicates that "there exists" at least one element in a given domain true |