2023-03-01から1ヶ月間の記事一覧
「条件付命題論理のセマンティクス(1)」の続きです。「条件付命題論理の健全性」の証明で使う定理といくつかおまけの定理を証明していこう。「条件付き確率」と同様に 証明中のイコールの上の文字は変形に使用した公理ないし定理を表している。 なお~,~…
「条件付命題論理のセマンティクス(1)」の続きです。「条件付命題論理の健全性」の証明で使う定理といくつかおまけの定理を証明していこう。「条件付き確率」と同様に 証明中のイコールの上の文字は変形に使用した公理ないし定理を表している。 なお~,~…