古典命題論理についてのメモ。命題論理において A v not-A A → A のような式はトートロジーと呼ばれる。Pをどのように解釈しようと、これらの式は常に真になる。 この「どのように解釈しようと」という部分を、対象言語の中で直接に表現する方法として、命題…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。