背理法で証明する：否定を使った証明テクニック - 記号論理学
コピー
id
29290
user_id
1056
roll_id
1868
order
16
language
ja
description
image_id
0
tag
[symbolic_logic:0.4][negation:0.3][reductio:0.3]
created_time
1769506261
updated_time
1769506261
← 戻る