Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
7 Cards in this Set
- Front
- Back
|
Propositional Function |
|
|
|
Universally quantified statement
Universal Quantifier |
for all, for any |
|
|
Existentially quantified statement
Existential Quantifier |
for some, for at least one |
|
|
Bound Variable |
|
|
|
To specify domain of discourse... |
|
|
|
If a universally quantified statement is true/false, then... |
-Replacing the universal quantifier by an existential quantifier will still yield a proposition that is true. -Replacing the existential quantifier by an universal quantifier will still yield a proposition that is false. |
|
|
Negation of universally/existentially quantified statement |
|
