WordWeb Help Us Improve Links |
Noun: predicate calculus
Type of: formal logic, mathematical logic, symbolic logic Encyclopedia: Predicate calculus |
Nearest predetermination predetermine predetermined predeterminer predial pre-dial predicable predicament predicant predicate predicate calculus predication predicative predicatively predicator predicatory predict predictability predictable predictably prediction |