First-Order Logic
Casual Mode - Take your time!
1 / 15
Correct
0
Incorrect
0
Score
0%
Multiple Choice
In First-Order Logic, a predicate is a function that maps a tuple of terms to a truth value.
- True
- False
Casual Mode - Take your time!
In First-Order Logic, a predicate is a function that maps a tuple of terms to a truth value.