なぜ、対偶と元の命題の真偽は一致するのですか？ (175ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
147(1): [sage] 2023/11/11(土) 02:00:02.21 ID:YBqiRc4v(9/16)
>>145
真でも偽でもないんだから前提が成り立つ場合が存在ないだろ
もうひとつ、真偽値の定義が2通りあるのもどうにかしろよ
1つ目の定義
>古典論理では
>証明できる論理式全体を真
>否定が証明できる論理式全体を偽
2つ目の定義
>P,Qが真または偽である場合にのみP⇒Qの真>偽値が定まるわけ
P→Pとかどっちを使うつもりなんだよ
150(2): [] 2023/11/11(土) 02:11:02.13 ID:1HH0lemX(10/14)
>>147
P⇒Qの真偽値表を定義する場合な
P⇒Pの真偽値表を作る場合はもちろんPに真偽が定まるすなわち証明されることが前提
それによりP⇒Pの真偽値表が
P=T P⇒P=T
P=F P⇒P=T
と定義される
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.665s*