共查询到20条相似文献,搜索用时 31 毫秒
1.
求主析取范式包括真值表法、推演法以及用真值表法求┐G的主析取范式、用推演法求┐G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明,用公式相等的定义证明了求G的主析取范式的定理。 相似文献
2.
3.
给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论. 相似文献
4.
徐小萍 《廊坊师范学院学报(自然科学版)》2010,10(6)
主要研究如何利用真值表、等值演算,主析取范式和主合取范式、真值树来判定命题公式的类型,并对这四种判定方法的优缺点和适用范围作了探讨. 相似文献
5.
离散数学中的主合取范式 总被引:1,自引:0,他引:1
吴双权 《呼伦贝尔学院学报》2006,14(6):46-48
在离散数学这本书中求主合取范式有两种方法。本文对这两种方法进一步推广。共给出四种方法。即,真值表法,推演法以及用真值表法求7G的主合取范式,用推演法求7G的主析取范式等四种方法。 相似文献
6.
合取范式化为析取范式的DNA表面计算 总被引:1,自引:0,他引:1
合取范式化为析取范式的计算复杂度是指数级别的,为了降低它的计算复杂度,提出了合取范式化为析取范式的DNA表面计算.因为DNA中碱基对的配对可以同时进行,所以DNA表面计算具有并行计算能力,它实现了将合取范式化为析取范式的计算复杂度降低到多项式级别. 相似文献
7.
真值表在数理逻辑中的重要作用 总被引:1,自引:0,他引:1
从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用,指明真值表是数理逻辑学科体系的最重要的基石,重点抓好真值表的教学是解决好整个数理逻辑教学的关键. 相似文献
8.
9.
1 例题解析例 1 设命题公式 (P∧ (Q → P) ) ,求使该命题为 0的P ,Q的取值。解 使 (P ∧ (Q→ P) ) 0 ,只有使P∧ (Q → P) 1,合取为 1,只有P 1,Q→ P 1。Q → 0 1,只有Q 0 ,故P ,Q取真值 (1,1)。例 2 求命题公式Q → ((P→Q) ∧ ( Q∧P) )的主合取范式和主析取范式。解 [方法 1] 列真值表法表 1 Q→ ((P → Q)∧ ( Q ∧P) )的真值表PQ Q Q∧PP→Q (P→Q) ∧ ( Q∧P) Q→ ((P →Q)∧ ( Q ∧P) )0 0 10 10 10 10 0 10 010 110 0 1110 0 10 0 Q→ ((P →Q)∧ ( Q ∧P) )的真值表中末列真值为 … 相似文献
10.
郑文晶 《呼伦贝尔学院学报》2009,17(2)
对于给定的二次曲面方程,通过特征方程可求出它所对应的主方向.由于二次曲面的每个特征根至少对应一个主方向,也就是说二次曲面至少有一个主径面,而二次曲面的主径面又是二次曲面的对称面,因而选取主径面作为新坐标面,或者选取主方向为坐标轴方向,就成为二次曲面方程的化简方法.应用上述方法,本文通过对二次曲面方程进行化简,化简成五类方程和17种标准形式. 相似文献
11.
12.
英浩 《鞍山师范学院学报》2008,10(6):99-101
造型艺术设计最终是需要通过具体的形态表达意念并实现其功能的.作为传递信息的第一要素——形态,探讨其自身的内涵,与其它形态、空间的关系成为当代艺术设计工作者面临的重要课题. 相似文献
13.
内形式是学作品内容诸因素的组织形式和结构方式的内在形式,即作品内容要素的组合关系与逻辑结构形式。学作品内形式所具有的主要特征是:普遍性与特殊性;主观性与创造性。外形式是作品组织结构的外部表现形态,是由语言(含节奏、韵律)、体裁等构成的相对固定的有一定规范的外观形态。学作品的外形式所具有的特征是:客观性与社会性;具体性与规范性。 相似文献
14.
15.
张高元 《唐山师范学院学报》2008,30(4)
克莱夫·贝尔在<艺术>中结合印象派绘画的艺术创作的实践提出并论证了"艺术是有意味的形式"的论点.文章通过印象派对光、色彩和构图的新理解,具体分析印象派来使这一理论得到较为详细的说明. 相似文献
16.
18.
Tone Kvernbekk 《Interchange》2007,38(4):301-315
In this article I discuss some problems concerning the truth value of narratives; more specifically as this problematic is
played out in empirical, narrative research. My point of departure is Jane O’Dea’s critique of Denis Phillips’ views of the
topic. While Phillips thinks that truth (in the correspondence sense) definitely should be a concern for narrative researchers,
O’Dea claims that Phillips mistakes what kind of research narrative is, and that the notion of truth he advocates therefore
is inappropriate. I argue that neither of them takes into account the particular beginning-middle-ending form of narratives,
which if anything makes the truth issue more complicated, but certainly not less important. 相似文献
19.
钱谷融 《常熟理工学院学报》2001,15(1):1-3,11
本文从贝尔的艺术是一种“有意味的形式”这一艺术论题入手 ,论述了艺术形式的问题。认为艺术是一种关于具体和感性的思维 ,一种情感和形式的思维 ,艺术形式是一种情感的形式 ,只有有了具体的情感形式 ,才能使艺术作品成为“有意味的形式”。 相似文献
20.
黄庆敏 《淮南职业技术学院学报》2009,9(2):99-101
渐开线圆柱齿轮是各种产品中常见的零件,齿轮的加工质量直接影响产品的质量,介绍了用万能渐开线检查仪、滚刀检查仪测量直齿或斜齿、外啮合或内啮合的渐开线圆柱齿轮的齿形、齿向的原理及方法。 相似文献