0147132人目の素数さん垢版 | 大砲2023/11/11(土) 02:00:02.21ID:YBqiRc4v >>145 真でも偽でもないんだから前提が成り立つ場合が存在ないだろ もうひとつ、真偽値の定義が2通りあるのもどうにかしろよ 1つ目の定義 >古典論理では >証明できる論理式全体を真 >否定が証明できる論理式全体を偽 2つ目の定義 >P,Qが真または偽である場合にのみP⇒Qの真>偽値が定まるわけ P→Pとかどっちを使うつもりなんだよ