论文部分内容阅读
本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题.
二值命题逻辑中逻辑推理的有效度
【摘 要】
：
本文以公式真度概念为基础,给出了二值命题逻辑系统中公式由理论逻辑推出的有效度概念及计算方法,讨论了在基本逻辑运算下理论的有效结论问题以及同一理论的结论的相似问题.
【出 处】
：
山东农业大学学报（自然科学版）
【发表日期】
：
2004年期
其他文献
目的 观察中国汉族非血缘关系随机个体和家系的Rh阴性D基因完整者与C基因间的关系.方法 用聚合酶链反应-序列特异性引物(PCR-SSP)扩增技术,扩增Rh血型C/E基因,D基因的外显子,
目的 对骨组织工程支架材料多孔碳酸钙陶瓷(PCCC)进行Ames试验以评价其潜在致突变性.方法 采用浸提法制备多孔碳酸钙陶瓷(PCCC)生理盐水浸提液.采用标准平板掺入法,计数TA97
为了在不完备信息系统中更好地研究知识约简,经典的粗糙集理论已经被推广.在扩展模型中,等价关系被推广到了相似关系等二元关系.将不完备信息系统扩展到多值不完备的情形,引
从u,d夸克的同位旋波函数出发, 利用李群不可约表示权的性质, 导出了介子的味道波函数, 给出了介子填充的SU(3)与SU(4)味群不可约表示的权图.
将广义投影Riccati方程法应用于求解非线性差分-微分方程,并在符号计算机系统Maple帮助下得到了离散(2+1)维Toda lattice方程和离散mKdV lattice方程一些新的精确解,其中包括
本文以乙二胺为核,采用发散法通过Michael加成和酰胺化重复反应合成了一系列0.5～4.0 G代聚酰胺-胺型树状高分子PAMAM.通过红外光谱对它们的结构进行表征,用核磁共振技术证实了
采用分子印迹技术合成了对农药精喹禾灵有高选择性的印迹聚合物. 该聚合物以精喹禾灵为模板分子,甲基丙烯酸(MAA)为功能单体,乙二醇二甲基丙烯酸酯(EGDMA)为交联剂,偶氮二异
应用阳离子交换树脂色层分离法使锆合金(锆锡铁铬镍合金)中锆与铝、钡、铜、镍、钛、钒等6种元素分离,以电感耦合等离子体原子发射光谱法测定6种微量元素。通过选择不同浓度
将HI-13北京串列加速器次级束流线产生的放射性核素7Be分别注入到天然Pt和Al中,利用两个高纯锗探测器同时测量7Be经由7Li第一激发态衰变后跃迁到基态产生的478keVγ射线产额
用固相法合成了具有D-π-A结构的N-{4-[4′-(N,N-二乙胺基)苯乙烯基]苯基}吡唑(3),其结构经1HNMR,IR,MS和元素分析表征。利用UV,单光子液体荧光光谱和固体荧光光谱探讨了3的