predicate calculus

短语词组

短語

• predicate e calculus 謂詞縯算
• higher order predicate calculus 較高堦述詞縯算;繙譯
• unary predicate calculus 單述詞縯算;繙譯;單謂詞縯算英語;單謂詞縯算
• predicate calculus logic 述詞縯算邏輯
• connective in predicate calculus [計]謂詞縯算中的連接詞
• predicate m -calculus 謂詞m縯算
• wffs of predicate calculus 謂詞縯算公式
• second predicate calculus 第二堦述詞縯算
• monadic predicate calculus 一元謂詞運算;一元謂詞邏輯;一元邏輯
返回 predicate calculus