「条件付命題論理のセマンティクス（１）」の続きです。「条件付命題論理の健全性」の証明で使う定理といくつかおまけの定理を証明していこう。「条件付き確率」と同様に 証明中のイコールの上の文字は変形に使用した公理ないし定理を表している。 なお～,～…

「条件付き確率的含意をもつ命題論理のセマンティックス」の方が正確なのですが。ネットで条件付き確率と命題論理について検索していたときのこと。 「条件付き確率で記号論理を展開できない」と主張するページを見かけた。 気になって調べたところ、David L…

検定をすることもあるけど、基本的に確率論は苦手です。個人的な興味で、条件付き確率が関係する課題に取り組んでいたときのこと。 条件付き確率が演算に対応していないとどうしようもないという結論に達した。 さっそくググってみるが見つからなかったので…