. . "40"^^ . . . "5699"^^ . . . . . . "booleovsk\u00E9"@cs . . . "Boolean"@cs . . . . . . . . "Booleovsk\u00E9 hodnoty (Boolean)"@cs . . "Boolean"@cs . . . "376507"^^ . "13142742"^^ . . . . "Boolean je v informatice logick\u00FD datov\u00FD typ reprezentovan\u00FD jednou ze dvou hodnot \u2013 true (pravda, 1) nebo false (nepravda, 0). Pro hodnoty typu boolean jsou definov\u00E1ny v\u0161echny rela\u010Dn\u00ED operace (=, \u2260, >, <, \u2265, \u2264). Z toho, \u017Ee v tomto typu plat\u00ED uspo\u0159\u00E1d\u00E1n\u00ED false < true vypl\u00FDv\u00E1, \u017Ee i nad t\u00EDmto typem jsou definov\u00E1ny standardn\u00ED funkce succ(x), pred(x) a ord(x). Hodnota ord(false) = 0, hodnota ord(true) = 1. A d\u00E1le jsou zde definov\u00E1ny bin\u00E1rn\u00ED operace konjunkce, disjunkce a un\u00E1rn\u00ED operace negace. Boolean je pojmenov\u00E1n po Georgeovi Booleovi, objeviteli z\u00E1klad\u016F modern\u00ED aritmetiky."@cs . . . . . . . . . . . . . "boolean"@cs . . . . "false"@cs . . . "Boolean je v informatice logick\u00FD datov\u00FD typ reprezentovan\u00FD jednou ze dvou hodnot \u2013 true (pravda, 1) nebo false (nepravda, 0). Pro hodnoty typu boolean jsou definov\u00E1ny v\u0161echny rela\u010Dn\u00ED operace (=, \u2260, >, <, \u2265, \u2264). Z toho, \u017Ee v tomto typu plat\u00ED uspo\u0159\u00E1d\u00E1n\u00ED false < true vypl\u00FDv\u00E1, \u017Ee i nad t\u00EDmto typem jsou definov\u00E1ny standardn\u00ED funkce succ(x), pred(x) a ord(x). Hodnota ord(false) = 0, hodnota ord(true) = 1. A d\u00E1le jsou zde definov\u00E1ny bin\u00E1rn\u00ED operace konjunkce, disjunkce a un\u00E1rn\u00ED operace negace."@cs . . .