impredicative
英[ɪmprɪ'dɪkətɪv]
美[ɪmprɪ'dɪkətɪv]
- adj.非直谓的(非断言的)
双语例句
- This extension is not universally accepted by Intuitionists since it allows impredicative, i.e. circular, constructions, which are often identified with classical reasoning.
这个扩展不被直觉主义者所普遍接受，因为它允许非直谓性的，就是循环的构造，这经常用经典推理来识别。
用作形容词 (adj.)
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
