Boolean data type

Boolean je v informatice logický datový typ reprezentovaný jednou ze dvou hodnot – true (pravda, 1) nebo false (nepravda, 0). Pro hodnoty typu boolean jsou definovány všechny relační operace (=, ≠, >, <, ≥, ≤). Z toho, že v tomto typu platí uspořádání false < true vyplývá, že i nad tímto typem jsou definovány standardní funkce succ(x), pred(x) a ord(x). Hodnota ord(false) = 0, hodnota ord(true) = 1. A dále jsou zde definovány binární operace konjunkce, disjunkce a unární operace negace. Boolean je pojmenován po Georgeovi Booleovi, objeviteli základů moderní aritmetiky.

Boolean data type

Boolean je v informatice logický datový typ reprezentovaný jednou ze dvou hodnot – true (pravda, 1) nebo false (nepravda, 0). Pro hodnoty typu boolean jsou definovány všechny relační operace (=, ≠, >, <, ≥, ≤). Z toho, že v tomto typu platí uspořádání false < true vyplývá, že i nad tímto typem jsou definovány standardní funkce succ(x), pred(x) a ord(x). Hodnota ord(false) = 0, hodnota ord(true) = 1. A dále jsou zde definovány binární operace konjunkce, disjunkce a unární operace negace. Boolean je pojmenován po Georgeovi Booleovi, objeviteli základů moderní aritmetiky.