整論理式

整論理式の最新ニュースをまとめて検索！

整論理式（せいろんりしき、Well-Formed Formula、WFF）とは、論理学において所定の形式文法から生成される文字列を意味する。整式とも。

例えば、 $((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))$ という文字列は命題論理の文法から生成されるので、命題論理における整論理式である。このとき、この論理式が真であるか偽であるかということと、整論理式であることとは無関係である。 $((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))$ は命題論理の文法に照らして正しくないので、整論理式ではない。