[過去ログ] 箱入り無数目を語る部屋19 (164レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
49: 2024/04/01(月)05:49:45.51 ID:LMNS4sZW(1/6) AAS
2chスレ:math
>we assume (Ω,F,P) is some probability space …の(Ω,F,P)は
>最終的に証明したい定理をフルで論理式で書くと、
>もちろん∀で量化される

任意の確率空間で成り立つことだけで
個別の問題が語りきれると思うターンエーって
底抜けの🐎🦌だと思うが
55
(1): 2024/04/01(月)13:57:37.51 ID:efB7oARG(1) AAS
>>54
∀x.P⇒Q は (∀x.P)⇒Q ではない
したがって、∀x.Pを示す必要はない

∀x.P⇒Qは、¬(∃x.P∧¬Q)である

∃x.Pかつ¬(∃x.P∧¬Q)から、Qは導ける
104: 2024/04/30(火)10:16:23.51 ID:PtPBgkvj(1) AAS
箱入り無数目が分からない人は大学教養課程を勉強しましょう
まあ大学入学レベルの学力が前提ですが
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.020s