First- order Logic
英
美
- 一阶逻辑
双语例句
- This language of frst-order logic is very important.
一阶逻辑语言是非常重要的。 - The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples.
摘要基于一阶逻辑相关概念的内涵，结合恰当的反例，探析了一阶逻辑推理规则成立的条件。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
