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