...Negation): 合取(Conjunction): 析取(Disjunction): 条件(Implication): 双条件(Bicondition): 命题一般用大写字母表示,如P,Q,P 1 ,A 2 ,但是一般不用T和F 两个字母。
基于20个网页-相关网页
首先,我们构造以目的和背景知识为双条件的条件句系统akc,给出它的一些证明论结果。
Firstly, we construct the conditional system AKC with double conditions for aim and background knowledge, give some results of its proof theory.
本文的分析建立在经典薄壳理论以及双矩弱作用屈服条件的基础上。
The analyzing method in this paper is based on the classical theory of plates and shells and the two-moment limited-interaction yield condition was used as the yield criterion for materials.
并讨论了双公用齿轮机构优化设计的目标函数和约束条件。
Then in this paper the object functions -and restrained conditions for optimum design are discussed.
If I took two double stranded DNA molecules and I exposed them to certain conditions that caused them to denature, that means its native structure falls apart.
假如我把两条DNA双链,放在特定的条件下,使它们变性,变性表示使它们的原始结构分开
That tells you something about the physical chemistry of the molecule; that it's these hydrogen bonds that hold the double strands and I can break those down under certain conditions.
我们从中可以知道一些,DNA分子的理化特点,双链是由氢键连接在一起,在一定条件下这些氢键可以断裂
应用推荐