一元谓词逻辑的英文

• monadic predicate calculus

• "一"英文翻译    one
• "元"英文翻译    first; primary
• "谓词逻辑"英文翻译    predicate logic
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "谓词逻辑" 英文翻译 :    first-order logic; predicate logic
• "述词逻辑 [谓词逻辑" 英文翻译 :    predicate logic
• "三阶谓词逻辑" 英文翻译 :    third order predicate logic
• "谓词逻辑语言" 英文翻译 :    predicate logic language
• "一阶谓词逻辑" 英文翻译 :    first order predicate logic; first-order logic; first-order predicate logic
• "n变元谓词" 英文翻译 :    predicate of
• "γ元谓词" 英文翻译 :    ray predicate
• "二元谓词" 英文翻译 :    binary relation
• "带等词的谓词逻辑中通过使用" 英文翻译 :    definition in use
• "变项谓词, n变元谓词" 英文翻译 :    predicate of n variable n
• "介词逻辑2" 英文翻译 :    prepositional logic
• "述词逻辑" 英文翻译 :    predicate logic
• "语词逻辑记忆" 英文翻译 :    wordlogical memoryy
• "逻辑谓词" 英文翻译 :    open sentence
• "谓词元逻辑" 英文翻译 :    metalogic of predicates
• "一元逻辑" 英文翻译 :    monadic logic; monadic predicate calculus
• "逻辑陈述谓词" 英文翻译 :    logical statement predicate
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "一元" 英文翻译 :    beginning integration of yin and yang; kazumoto; skin; unary
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate