Re: [闲聊] 逻辑大师请进

楼主: sustainer123 (caster)   2023-12-22 14:28:13
※ 引述 《yam276 (史莱哲林的优等生)》 之铭言:
:  
: ※ 引述《kazunerae (数狙え)》之铭言:
: : 命题:大侠必吃汉堡包
: : A是大侠,你不知道他在吃啥
: : B不是大侠,你不知道他在吃啥
: : C在吃汉堡包
: : D在啃香蕉
: : 为确认命题是否有误,
: : 你至少得确认谁的餐点/身份?
:  
: 我想了一下
:  
:  
: 大侠->必吃汉堡包
:  
: 若P则Q
:  
: 非Q则非P
:  
: 必不吃汉堡包->必不是大侠
:  
:  
:  
: D在啃香蕉 D一定不该是大侠
:  
: 所以要确认D是不是大侠
:  
条件句只在一种情况会出错:前者为真后者为假
首先 大侠为真却不吃汉堡包的情况下 命题为假
再者 此命题等价于:不吃汉堡包->非大侠(2)
(2)在不吃汉堡包却是大侠的情况 (2)为假
B对应原命题 前者为假 后者真假值不影响命题真假
C对应(2) 前者为假 后者真假值不影响命题真假
A对应原命题 前者为真 后者真假值影响命题真假
D对应(2) 前者为真 后者真假值影响命题真假
大概这样
作者: yam276 ('_')   2023-12-22 14:30:00
就AD选一个验就好

Links booklink

Contact Us: admin [ a t ] ucptt.com