24小时热门版块排行榜

>论坛更新日志 (3414)
>虫友互识 (415)
>导师招生 (212)
>文献求助 (199)
>硕博家园 (110)
>公派出国 (91)
>考博 (88)
>论文投稿 (74)
>博后之家 (72)
>找工作 (72)
>基金申请 (68)
>休闲灌水 (63)
>考研 (62)
>论文道贺祈福 (61)
>教师之家 (52)
>招聘信息布告栏 (41)

返回列表

wy860901

铜虫 (初入文坛)

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

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

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

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

回复此楼