命题推演
- 与 命题推演 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
A hypothetical syllogism is a syllogism having a conditional statement for one or both of its premises.
定义：前提中包含着假言命题，并且依据假言命题的逻辑性质来进行推演的推理。
-
Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.
通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。
-
It has been too often assumed that "proof" must be what Kant called " apodeictic" that is of the kind that we used to be familiar within Euclid, where the argument could be concluded with a triumphant Q.E.D. because every rational person who understands the propositions is compelled to accept the inference.
我们常常假定，&证据&一定是康德所称之&绝对肯定的&--那种我们在欧氏推论中所熟悉的，那种可以把论据推演到成功地&证完&，因为每个懂得命题的具有理性的人都一定会接受那样的推断。
- 推荐网络例句
-
As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.
每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。
-
Maybe they'll disappear into a pothole.
也许他们将在壶穴里消失
-
But because of its youthful corporate culture—most people are hustled out of the door in their mid-40s—it had no one to send.
但是因为该公司年轻的企业文化——大多数员工在40来岁的时候都被请出公司——一时间没有好的人选。