論理式

論理式

論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。
プログラミング言語などで、ブーリアン型を扱う式のこと。

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.