なぜ、対偶と元の命題の真偽は一致するのですか？

[0150 １３２人目の素数さん 2023/11/11(土) 02:11:02.13 ID:1HH0lemX]

>>147
P⇒Qの真偽値表を定義する場合な
P⇒Pの真偽値表を作る場合はもちろんPに真偽が定まるすなわち証明されることが前提
それによりP⇒Pの真偽値表が
P=T P⇒P=T
P=F P⇒P=T
と定義される