thedays.cn
今日百科
百科
登录
注册
首页
>
前件
✍ dations ◷ 2025-12-04 09:08:53
#逻辑
前件(antecedent),亦称前提,是假言命题的前半部分。
例子:
这是假言命题的标准逻辑公式。在这种情况下,前件是P。
X是人是这个命题的前件。
这里的人类已经在月亮上行走是前件。
相关
合文
陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
毒性弱化
弱化子(attenuator,又译衰减子)是指原核生物的操纵子中可以明显衰减乃至终止转录作用的一段核苷酸序列,位于操纵子的上游。在研究大肠杆菌(E. coli)的色氨酸操纵子表达弱化现象时
郑建华
郑建华(1956年9月-),生于吉林长春,原籍浙江宁波,中国信息分析专家,解放军保密委员会技术安全研究所研究员。1987年毕业于中国科学技术大学研究生院。2011年当选为中国科学院院士。
国会山庄
National Capital Commission国会山庄(英语:Parliament Hill;法语:Colline du Parlement)位于加拿大安大略省渥太华市中心,坐落渥太华河南岸的官地,为加拿大国会建筑群所在。国会建
生命权
生命权(Right to life),记于世界人权宣言第三条“人人有权享有生命、自由和人身安全。”无端剥夺人的生命,或者肆意对人施加恐吓、虐待和折磨,就是用一种非人权的待人方式。任由
绿光
绿光可以指下列事物:
牛津期
牛津期(英语:Oxfordian)是侏罗纪的第九个时期,年代大约位于163.5–157.3百万年前。
ostracod
介形纲(学名:Ostracoda),在日语或参考自日语的文献亦作贝虫纲或贝形虫纲,是甲壳亚门之下的一个纲级分类单元,其生物泛称作介形虫或种子虾。目前已辨识的介形虫有约7万个物种,当中只
朝鲜标准时
平壤时间(朝鲜语:평양시간/平壤時間 Pyŏngyangsigan),或称朝鲜民主主义人民共和国标准时间(朝鲜语:조선민주주의인민공화국 표준시간),是朝鲜使用的国家标准时间。2015年8月15日前
乌镇
乌镇位于浙江省桐乡市,是江南著名古镇之一。镇域面积71.19 平方公里,建城区面积2.5平方千米,总人口6万,镇区常住人口1.2万。乌镇景区已被评为中国国家5A级景区,是全国20个黄金周