肯定部分(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的肯定部分,其中土表示假.
本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!
版权所有©四级英语单词 网站地图 陇ICP备2023000160号-4
免责声明:本站非营利性站点,以方便网友为主,仅供学习。