Français | Anglais |
---|---|
prédicat nom {m} | predicate [predicates]◼◼◼((grammar) part of sentence that states something about its subject) predicate [predicates]◼◼◼((logic) a term of a statement, where the statement may be true or false) |
prédicateur nom | preacher [preachers]◼◼◼(one who preaches) |
prédicatrice nom | preacheress(female preacher) |
calcul des prédicats nom {m} | predicate calculus◼◼◼(a branch of logic) predicate logic◼◼◻(generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) |
logique des prédicats nom {f} | predicate logic◼◼◼(generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) |