現代数学の系譜 工学物理雑談 古典ガロア理論も読む53at MATH

---

507:１３２人目の素数さん
18/10/23 22:06:22.94 4zrBh8Da.net
一般に、
∀f：R→R s.t. P(f)∧Q(f)
が真なら
∀f：R→R s.t. P(f)
∀f：R→R s.t. Q(f)
は両方とも真である。これを
(3) ∀f：R→R s.t. (￢A∨B)∧(￢A∨￢S)
に適用すれば、
∀f：R→R s.t. ￢A∨B
∀f：R→R s.t. ￢A∨￢S
は両方とも真である。ここでは
∀f：R→R s.t. ￢A∨B
の方だけに興味がある。

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch