| 查看: 368 | 回复: 1 | ||
wy860901铜虫 (初入文坛)
|
[求助]
烦请牛人帮忙给出几个两个一阶逻辑性质的证明过程
|
|
是两个一阶逻辑性质的证明 1）对于一个公式φ，若有一个解满足它，而且这个解满足另一个公式φ1， 那么这个解必然满足φ∧φ1 这好像是一个公理，实在想不起来了，若是公理的话就不需要证明了，是的话希望 2）对于一个可满足的（必然有解）公式φ，构成它的变量集为 V，V中元素的一组赋值M，M或者满足φ，或者M满足φ的反 小弟希望在文章中引入这两个性质作为优化策略的支撑，奈何数学基础太差，对于命题逻辑的了解也比较少，但这里又需要用到，手头也没有合适的资料，目前急于完成这篇文章，时间上也不太允许。希望路过的各路神仙帮帮忙。多谢！ |
回复此楼» 猜你喜欢
申博发邮件
已经有6人回复
-
各位大神，目前国内有哪些比较好用的逆合成软件？
已经有7人回复
-
售一区SCI文章T0P，我:8O.551.O54,科目全,可十急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有3人回复
-
国社科系统bug了，是不是要放榜了？
已经有3人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有3人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有4人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.54,科目齐全,可+急
已经有4人回复
wxlssdut
金虫 (小有名气)
- 应助: 1 (幼儿园)
- 金币: 617.5
- 散金: 37
- 帖子: 139
- 在线: 33.7小时
- 虫号: 1644943
- 注册: 2012-02-26
- 性别: GG
- 专业: 计算机应用技术
2楼2012-09-26 21:51:29
