Skinerrian's blog

論理学・哲学・科学史・社会学などに興味があるので、その方面のことを書きます。更新は不定期。

2018-03-04から1日間の記事一覧

ブール代数の公理系

ブール代数の公理系についてのメモ。論理学の本では、束→分配束→ブール束という順番で公理系を強化していくが、新たに公理を付け加えたことで、中には冗長になる束の公理もあるらしい。ハンティントン(1904年)の公理系は 同一律 identity 交換律 commutati…