Predicate Logic Flashcards
1
Q
A symbol which represents a property or relation. Often, the statement or relation itself is called ______
A
predicate
2
Q
specifies what are the possible values for the variable
A
domain
3
Q
A function formed by a predicate and one or more variables.
A
Propositional Function
4
Q
a variable that is not bound
A
free variable
5
Q
it is used as modifiers to variables
A
Quantifiers
