論理式 論理式 論理式 (数学) - 数理論理学、命題論理、述語論理において、形式文法の規則に合った式のこと。 プログラミング言語などで、ブーリアン型を扱う式のこと。 このページは曖昧さ回避のためのページです。一つの語句が複数の意味・職能を有する場合の水先案内のために、異なる用法を一覧にしてあります。お探しの用語に一番近い記事を選んで下さい。このページへリンクしているページを見つけたら、リンクを適切な項目に張り替えて下さい。