用predicate logic造句子，“predicate logic”造句

In this paper, we gave the definition of truth degree based on the interval interpretation of first-order fuzzy predicate logic( or first-order fuzzy language) formulas by introducing the new( concept) of evaluation on variable set, and discuss its a series of properties.

third order predicate logic

predicate logic with equality

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

predicate logic language

Any logic which USES the existential quantifier or the universal quantifier is said to be a predicate logic.