20/01/24 14:04:23 hf8Gpc9I.net
>>874
P：あなたの主張は正しい
Q：お菓子をあげる
正直者なら
P⇒Q ∧ ￢P⇒￢Q
嘘つきならその否定だｋら
￢（P⇒Q ∧ ￢P⇒￢Q）
￢（P⇒Q）∨ ￢（￢P⇒￢Q）where P⇒Q ≡ ￢（P∧￢Q）
￢￢（P∧￢Q）∨ ￢￢（￢P∧￢￢Q）
（P∧￢Q）∨ （￢P∧Q）
（主張は正しい∧お菓子をもらえない）または（主張は間違っている∧お菓子をもらえる）
20/01/24 14:04:23 hf8Gpc9I.net
>>874
P：あなたの主張は正しい
Q：お菓子をあげる
正直者なら
P⇒Q ∧ ￢P⇒￢Q
嘘つきならその否定だｋら
￢（P⇒Q ∧ ￢P⇒￢Q）
￢（P⇒Q）∨ ￢（￢P⇒￢Q）where P⇒Q ≡ ￢（P∧￢Q）
￢￢（P∧￢Q）∨ ￢￢（￢P∧￢￢Q）
（P∧￢Q）∨ （￢P∧Q）
（主張は正しい∧お菓子をもらえない）または（主張は間違っている∧お菓子をもらえる）