純粋・応用数学

[過去ﾛｸﾞ] 純粋・応用数学 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

532(1): 2020/06/11(木)01:20 ID:DYrPc2EU(1/11) AAS
>>531
＞∃f(x_1)(f(x_1)∈Im f→f(x_1)∈Y)

対偶になってないですよ

∀x Px→ Qx
の対偶は
∀x ¬Qx→¬Px
ですから

533(1): 2020/06/11(木)01:25 ID:CYYvm9O2(3/4) AAS
>>532
否定は全体に係る
つまり
￢(∀x Px→ Qx)