>>901
今まで、
SET Aは大学1年の微積と線型代数で落ちこぼれた
と思ってたが大間違いだった

そもそも高校1年の数学の「命題と証明」で
落ちこぼれてたんだな
高卒レベルじゃなく中卒レベルだった！
そりゃ日本語が通じねぇわけだ！

>>887
>証明の前半部分は･･･なので、
>P→Qを、背理法で、
>Pの否定とQが矛盾する
>ということの証明だよね

ｷﾞｬﾊﾊﾊﾊﾊﾊ

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

>>887
>だから、後半部分が、
>Q→Pの証明で、ここも背理法だ。
>つまり、Qの否定とPとの矛盾を言っている

ｷﾞｬﾊﾊﾊﾊﾊﾊ

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