Definitions | predicate calculus |
| noun (uncountable)
- (logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
Translations: - French: calcul des prédicats
- German: Prí¤dikatenlogik
Supplemental Details:Sponsor an extended definition for predicate calculus for as little as $10 per month. Click here to contact us.
| |
|