Englisch | Französisch |
---|---|
predicate [predicates] ((grammar) part of sentence that states something about its subject) noun [UK: ˈpred.ɪ.kət] [US: ˈpred.ɪ.kət] | prédicat◼◼◼nom {m}This sentence has a predicate but no subject. = Cette phrase comporte un prédicat mais pas de sujet. |
predicate [predicates] ((logic) a term of a statement, where the statement may be true or false) noun [UK: ˈpred.ɪ.kət] [US: ˈpred.ɪ.kət] | prédicat◼◼◼nom {m}This sentence has a predicate but no subject. = Cette phrase comporte un prédicat mais pas de sujet. |
predicate calculus (a branch of logic) noun | calcul des prédicats◼◼◼nom {m} |
predicate logic (generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) noun | logique des prédicats◼◼◼nom {f} calcul des prédicats◼◼◻nom {m} |