逻辑问题
迪丽瓦拉
2025-02-12 19:04:50
0次
逻辑问题
你要用哪个逻辑推演系统证？我只会PN系统（不是P系统也不是N系统）。 我用“~”表示非。
｜○~(A∨~A)-------------1：假设
｜｜○A------------------2：假设
｜｜｜ A∨~A-------------3：析取引入
｜｜~A-------------------4：1、3否定引入
｜｜○~A-----------------5：假设
｜｜｜A∨~A--------------6：析取引入
｜｜A--------------------7：1、6否定引入
｜A∨~A------------------8：4、7否定引入
因为结果出现在所有假设的辖域之外，所以最终的结果不依赖任何假设。
A∨¬A =¬A∨A =A——>A 为一个恒真命题
至于Φ├这个看不懂什么意思
逻辑问题 2个回答

上一篇：我知道灌篮高手中的陵南高中原型是神奈川的镰仓高校,但具体位置在哪儿啊?我以后想去的,先调查清楚

下一篇：什么手艺一辈子都能赚钱 永远都学不完？

相关内容

热门资讯

十月，你得来大理“赏一赏” 寒意渐起进入秋天大理迎来一年中绝美的赏景时节此前大理融媒介绍了大理市的赏秋地点现在，从大理出发前往周...
新华鲜报｜山河锦绣 国庆节假期... 　　新华社北京10月9日电　题：山河锦绣 国庆节假期8.26亿人次竞出游　　新华社记者徐壮　　山河迎...
新华社消息｜国庆节假期国内出游... 　　记者：徐壮、周玮　　编导：季晓庄　　新华社音视频部制作
19.6万人次游客国庆长假游自... 封面新闻记者 刘恪生国庆长假结束，2026年自贡市沿滩区中秋国庆双节系列文旅活动圆满落幕。假日期间，...
新华视点｜当车变成“移动的家”... 　　新华社北京10月9日电 题：当车变成“移动的家”：这种旅行方式火了　　新华社“新华视点”记者张申...
“零碳海岛”的全电暖时光 　　刚刚过去的“十一”黄金周，辽宁丹东东港市獐岛村碧海环绕、秋山含翠，前来度假的游客穿梭在街巷之间，...
草坪被游客踩出一条路，深圳湾公... “走的人多了也便有了路。”10月7日，有博主在社交平台发帖，并晒出深圳湾公园内一块温馨提示牌。图片显...
国庆假期泰安26家旅游景区（点... 齐鲁网·闪电新闻10月9日讯 金秋十月庆华诞，国泰民安迎客来。国庆假期，泰安市认真贯彻落实国庆假期各...
别跑空！新疆多家景区季节性停运... 记者从新疆文化和旅游厅了解到，因冬季即将来临，新疆部分景区季节性停运、调整开放时间。巴音布鲁克景区自...
甲秀时评 | 激活文旅新动能贵... 国庆假期，花溪区黔陶乡九道拐·追风里日均客流超千人次。在这里，喝咖啡、看画展、赏美景，多元业态交织共...