プログラミング言語で扱う変数や定数の型の一つで、真(true)と偽(false)の2種類の値だけを扱う最も単純な構造の型。

　結果が真か偽で表される式を「AND」や「OR」などの演算子(論理演算子)で組み合わせて、複雑な式が真になるか偽になるか判断することをブーリアン演算(論理演算)と呼ぶ。コンピュータの扱う処理や計算の多くは、最終的に論理演算に変換されて実行される。

　身近な例では、データベースやサーチエンジンに複雑な検索を行わせる時に使われている。