predicate logic

相關詞條：

• predicate function
• predicate language
• predicate node
• predicate lock
• predicate symbol
• predicate calculus
• predicate table
• predicate event-net
• predicate variable
• predicate