entailment logic的意思|示意

美 / / 英 / /

衍推逻辑；制约逻辑

衍推逻辑 ...及其相应的形式推理的抽象可能性；林邦瑾的工作则更进一步，他具体运用集合论、极限论（微积分）与衍推逻辑（entailment logic）的工具，对黑格尔与恩格斯关于“运动本身就是矛盾，……

制约逻辑 entailment logic 制约逻辑 This job would entail your learning how to use a computer. 这工作将需要你学会怎样用计算机。