24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 296  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 287求调剂 +7 land xuxu 2026-03-26 7/350 2026-03-27 00:44 by wxiongid
[考研] 316求调剂 +4 江辞666 2026-03-26 4/200 2026-03-27 00:33 by wxiongid
[考研] 351求调剂 +4 麦克阿磊 2026-03-24 4/200 2026-03-27 00:32 by wxiongid
[考研] 349求调剂 +5 杰斯塔里斯 2026-03-21 5/250 2026-03-27 00:31 by wxiongid
[考研] 342求调剂 +3 加油a李zs 2026-03-26 3/150 2026-03-27 00:29 by wxiongid
[考研] 08开头275求调剂 +3 拉谁不重要 2026-03-26 3/150 2026-03-26 20:22 by barlinike
[考研] 一志愿厦门大学化学学硕307求调剂 +8 y7czhao 2026-03-26 8/400 2026-03-26 19:51 by 不吃魚的貓
[考研] 297求调剂 +6 田洪有 2026-03-26 6/300 2026-03-26 15:55 by 不吃魚的貓
[考研] 资源与环境 调剂申请(333分) +9 holy J 2026-03-21 9/450 2026-03-26 15:47 by 161765490
[材料工程] 一志愿C9材料与化工专业总分300求调剂 +5 曼111 2026-03-24 6/300 2026-03-26 13:04 by 13756423260
[考研] 一志愿天津大学339材料与化工求调剂 +3 江往卖鱼 2026-03-26 3/150 2026-03-26 09:42 by 王小欠i
[考研] 机械学硕总分317求调剂!!!! +4 Acaciad 2026-03-25 4/200 2026-03-25 19:59 by hanserlol
[考研] 求b区院校调剂 +4 周56 2026-03-24 5/250 2026-03-25 17:12 by yishunmin
[考研] 材料调剂 +3 iwinso 2026-03-23 3/150 2026-03-25 11:29 by greychen00
[考研] 食品专硕 一志愿双一流 328 +3 xiaom99 2026-03-21 4/200 2026-03-24 21:20 by lailaisimei
[考研] 070300化学求调剂 +9 苑豆豆 2026-03-20 9/450 2026-03-24 17:15 by licg0208
[考研] 305分求调剂(食品工程) +5 Sxy112 2026-03-21 7/350 2026-03-24 12:27 by 544594351
[考研] 070300,一志愿北航320求调剂 +3 Jerry0216 2026-03-22 5/250 2026-03-23 09:16 by 。。堂堂
[考研] 求调剂 +3 .m.. 2026-03-21 4/200 2026-03-21 16:25 by barlinike
[考研] 330求调剂0854 +3 assdll 2026-03-21 3/150 2026-03-21 13:01 by 搏击518
信息提示
请填处理意见