今学期、放送大学にて、記号論理学をとりました。 で、先日、ふと、「記号論理学を使って、モンティホール問題を記述できないか？」 と思いつき、チャレンジしてみました。 といっても、 今回勉強した 一階述語言語では定量的な確率は扱えないので、いろいろ…