“predicate logic”可以造什么句，predicate logic造句

predicate logic language

Any logic which USES the existential quantifier or the universal quantifier is said to be a 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.