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;
8 Cards in this Set
- Front
- Back
Universal Quantifiers (x)
|
"for any x". Universal quantifiers never assert existence. It is an individual variable which can stand for any and all items in the universe. Often interpreted like a conditional statement and with horseshoes.
|
|
Existential Quantifier backwards Ex
|
"There is an x such that". Always assume existential quanitifers assert existence. It means "some" and can create translations that read "something exists that is both_ and _".
|
|
Bound Variables
|
Music be in the same scope of a quantifier and must be the same letter of a quantifier.
(x) (Ax . Bx) |
|
Free variables
|
A variable is free if it is NOt in the scope of a quantifier and NOT the same letter.
(x) (Ay. By) |
|
Property Constants
|
A-Z
|
|
Individual Constants
|
a-t
|
|
Individual Variables
|
u-z
|
|
Identity
|
Something that occupies the same space and time.
|