論理式（ろんりしき、formula、well-formed formula、wff）とは、論理学において所定の形式文法から生成される形式言語の一部をなす文字列、すなわち、与えられたアルファベットに含まれる記号（シンボル）の列を意味する。整式、整論理式とも。形式言語はその論理式の集合全体と合致するとみなすことができる。

論理式（ろんりしき、formula、well-formed formula、wff）とは、論理学において所定の形式文法から生成される形式言語の一部をなす文字列、すなわち、与えられたアルファベットに含まれる記号（シンボル）の列を意味する。整式、整論理式とも。形式言語はその論理式の集合全体と合致するとみなすことができる。