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

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

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

---

535: 2020/06/11(木)01:47 ID:DYrPc2EU(2/11) AAS
>>533
∀x (Px→Qx)

今考えてるのはこれですよね？

A⊂B
⇔ ∀x (x∈A → x∈B)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.034s