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
What is a predicate? |
It is a function that assigns a proposition to each real number for x. It is also called a proposition valued function. |
|
What is a domain of discourse or universe of discourse? |
The domain of a predicate |
|
True or false? A predicate can hold more than one variable |
True. A predicate holding 2 variables is called a binary predicate. |
|
True or false? You can define a predicate without referring to an input variable |
True |
|
What is quantification? |
The proposition that the predicate is true for some or all input values |
|
How are nested quantified statements parsed? |
From left to right |
|
Why cant you reliably parse nested quantified statements with word substitution? |
The english word order doesnt reflect the order on the quantifiers |
|
What is a bound variable? |
A variable that is subject to a quantifier. The opposite to a bound variable is a free variable |