様相論理 is Fun

様相論理の学習ノートです

MENU

2017-06-11から1日間の記事一覧

アイデアのスケッチ

TODOリスト トートロジーの概念の整理 1で定めた意味において、K:□(p→q)→(□p→□q)がトートロジーになるような、付値の性質の特徴づけ 1.について 以前の記事では、トートロジー概念について混乱がある。 また、命題(論理式)全体をブール束と考えたけれども…