24小时热门版块排行榜

返回列表

wy860901

铜虫 (初入文坛)

应助: 1 (幼儿园)
金币: 201.3
散金: 10
帖子: 15
在线: 27.6小时
虫号: 1862751
注册: 2012-06-18
专业: 计算机应用技术

[求助] 烦请牛人帮忙给出几个两个一阶逻辑性质的证明过程

是两个一阶逻辑性质的证明
1）对于一个公式φ，若有一个解满足它，而且这个解满足另一个公式φ1，那么这个解必然满足φ∧φ1
这好像是一个公理，实在想不起来了，若是公理的话就不需要证明了，是的话希望
2）对于一个可满足的（必然有解）公式φ，构成它的变量集为 V，V中元素的一组赋值M，M或者满足φ，或者M满足φ的反

小弟希望在文章中引入这两个性质作为优化策略的支撑，奈何数学基础太差，对于命题逻辑的了解也比较少，但这里又需要用到，手头也没有合适的资料，目前急于完成这篇文章，时间上也不太允许。希望路过的各路神仙帮帮忙。多谢！

回复此楼