完全集

来源:互联网 2023-06-27 17:59:44


(资料图片仅供参考)

1、 设 F 是 n 元联结词,p1,…,pn 是不同的命题变元。

2、如果公式 A 中不出现除 p1,…,pn 之外的命题变元,并 A⇔Fp1…pn,则称 A 定义 F。

3、如果存在由联结词集合 S 生成的公式定义 F ,则称 F 可由 S 定义。

文章到此就分享结束,希望对大家有所帮助。

标签:

广告

Copyright ?   2015-2022 青年商场网版权所有  备案号:皖ICP备2022009963号-20   联系邮箱:39 60 291 42@qq.com