24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 295  |  回复: 1

wy860901

铜虫 (初入文坛)

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

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

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

» 猜你喜欢

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

wxlssdut

金虫 (小有名气)

【答案】应助回帖

去看看离散数学书吧,这些都是基础理论。
专注,执着!
2楼2012-09-26 21:51:29
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 wy860901 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 342求调剂 +3 加油a李zs 2026-03-26 3/150 2026-03-27 00:29 by wxiongid
[考研] 0703化学338求调剂! +5 Zuhui0306 2026-03-26 6/300 2026-03-26 23:42 by 381988266
[考研] 【双一流院校新能源、环境材料,材料加工与模拟招收大量调剂】 +4 Higraduate 2026-03-22 8/400 2026-03-26 20:34 by Higraduate
[考研] 291求调剂 +9 hhhhxn.. 2026-03-23 9/450 2026-03-26 18:59 by 不吃魚的貓
[考研] 一志愿211 初试270分 求调剂 +6 谷雨上岸 2026-03-23 7/350 2026-03-26 18:55 by 不吃魚的貓
[考研] 调剂推荐 +4 清酒714 2026-03-26 5/250 2026-03-26 17:49 by fmesaito
[考研] 考研调剂 +8 小蜡新笔 2026-03-26 8/400 2026-03-26 16:18 by dick_runner
[考研] 一志愿 西北大学 总分282 英语一62 求调剂 +7 18419759900 2026-03-25 7/350 2026-03-26 16:07 by 不吃魚的貓
[考研] 086000生物与医药292求调剂 +6 小小陈小小 2026-03-22 9/450 2026-03-26 15:58 by dick_runner
[考研] 材料与化工考研调剂 +10 孅華 2026-03-22 10/500 2026-03-26 15:40 by zzll406
[考研] 281求调剂 +6 Koxui 2026-03-24 7/350 2026-03-26 15:37 by 无际的草原
[考研] 07化学303求调剂 +5 睿08 2026-03-25 5/250 2026-03-25 22:46 by 418490947
[考研] 347求调剂 +4 L when 2026-03-25 4/200 2026-03-25 13:37 by cocolv
[考研] 化学调剂 +6 yzysaa 2026-03-21 6/300 2026-03-25 09:27 by aa331100
[考研] 080500求调剂 +3 zzzzfan 2026-03-24 3/150 2026-03-24 16:38 by barlinike
[考研] 344求调剂 +3 desto 2026-03-24 3/150 2026-03-24 10:09 by 搏击518
[考研] 335求调剂 +4 yuyu宇 2026-03-23 5/250 2026-03-23 23:49 by Txy@872106
[考研] 293求调剂 +3 涛涛Wjt 2026-03-22 5/250 2026-03-22 22:21 by jiangpengfei
[考研] 306求调剂 +5 来好运来来来 2026-03-22 5/250 2026-03-22 16:17 by BruceLiu320
[考研] 求调剂 +5 Zhangbod 2026-03-21 7/350 2026-03-22 13:13 by Zhangbod
信息提示
请填处理意见