0138132人目の素数さん垢版 | 大砲2023/11/11(土) 01:07:06.49ID:1HH0lemX >>133 あのね 真偽値ってのはね証明できるかどうかで定義するのよ 古典論理では 証明できる論理式全体を真 否定が証明できる論理式全体を偽 これだけ P,Qが真または偽である場合にのみP⇒Qの真偽値が定まるわけ それを真偽値表と呼んでるだけ 真偽値表のくだらなさが分かるかな 分かんないんだろうな