Skinerrian's blog

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

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

命題変数

古典命題論理についてのメモ。命題論理において A v not-A A → A のような式はトートロジーと呼ばれる。Pをどのように解釈しようと、これらの式は常に真になる。 この「どのように解釈しようと」という部分を、対象言語の中で直接に表現する方法として、命題…