弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
肯定部分(positive part)公式中特定的一部分.设F是一个公式，F的肯定(否定)部分可如下归纳地定义: 1. F是F的肯定部分. 2.如果}A是F的一个肯定(否定)部分，那么A是F的否定(肯定)部分， 3.如果(AVB)是F的肯定部分，那么A与B皆为F的肯定部分. 4.如果(A八B)是F的否定部分，那么A及B皆为F的否定部分. 5.如果(A--> B)是F的肯定部分，那么A是F的否定部分，B是F的肯定部分. 6.如果(A~土)是F的否定部分，那么A是F的肯定部分，其中土表示假.
【肯的意思】：肯 kěn（ㄎㄣˇ） （一）、许可，愿意：首肯（点头答应）。（二）、骨头上附着的肉：肯綮（ qīng 详情>
【定的意思】：定 dìng（ㄉ一ㄥˋ） （一）、不动的，不变的：定额。定价。定律。定论。定期。定型。定义。定都（ 详情>
【部的意思】：部 bù（ㄅㄨˋ） （一）、全体中的一份：部分（“分”读轻声）。外部。腹部。局部。全部。部件。部位（ 详情>
【分的意思】：分 fēn（ㄈㄣ） （一）、区划开：分开。划分。分野（划分的范围）。分界。分明。条分缕析。分解。（二 详情>
