1/9
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No analytics yet
Send a link to your students to track their progress
what are the universal and existential quantifiers?
universal: all, none, no, every
existential: some, there exists, at least
what is the negation of the quantifiers
all = some x are not y
no/none = some x are y
some are not = all x are y
some are = no x are y
what is the negation of “at least”
less than
what is the negation of “at most”
more than
what is the truth table for p ^ q (and)
only true when both p and q are true

what is the truth table for p v q (or)
only false when both p and q are false

what is De Morgan’s law?
—(p v q) = —p ^ —q [distribute not sign and flip the connective]
what is the truth table for p—>q?
q is not dependent on p

given p—>q, what are its converse, inverse, and contrapositive statements?
converse: q—>p (switch simple statements)
inverse: —p —> —q (negate p and q)
contrapositive: —q —> —p (switch p and q and negate both)
what is the negation of if then statements?
“p and not q” (p ^ —q)