请输入您要查询的英文单词:

 

单词 intuitionistic logic
释义
intuitionistic logic
  • 简明释义
  • 直观主义逻辑:一种非经典逻辑系统,强调构造性证明和直观概念,不接受排中律。
  • 网络释义
  • 1

    [计]?直觉主义逻辑

    例如,直觉主义逻辑(intuitionistic logic)对真值和逻辑联结词、逻辑演算的意义采取完全不同的理解,特别重视 结构和证明在逻辑系统中的作用; 自由逻辑(free logic)在假设...

短语
  • 双语例句
  • 1
    The paper gives a definition of intuitionistic fuzzy logic "negation" operators and also discusses some of its properties.
    给出了直觉模糊逻辑非算子的定义,讨论了非算子的一些性质。
随便看

 

英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/21 18:37:59