>>902
>正しくは
>「Q→Pを、背理法で
>　Pの否定とQが矛盾する
>　ということの証明」だろｗ

ああ、そうだったね
失礼しました
眠かったし、お粗末でした
混乱させられてしまっった
関連事項も訂正します ｍ（＿＿）ｍ

https://kotobank.jp/word/%E8%83%8C%E7%90%86%E6%B3%95-113192#:~:text=%E8%83%8C%E7%90%86%E6%B3%95%E3%81%AF%E3%81%84%E3%82%8A%E3%81%BB%E3%81%86,-proof%20by%20contradiction&text=%E5%91%BD%E9%A1%8C%E3%81%AE%E4%BB%AE%E5%AE%9A%E3%81%AE%E3%81%BB%E3%81%8B,%E3%81%AE%E4%B8%80%E3%81%A4%E3%81%A7%E3%81%82%E3%82%8B%E3%80%82
日本大百科全書(ニッポニカ)「背理法」の解説
背理法
ある命題が真であることを証明するため、その命題の「結論が偽である」と仮定して推論を進め、矛盾が導かれることを示す方法である。