dichotomy

Mathlib.Data.Bool.Basic

URI: https://scilib.ai/kg/mathlib#Bool.dichotomy

English

For any boolean b, either b = false or b = true.

Русский

Для любого булева значения b верно либо b = false, либо b = true.

LaTeX

$$$$ \forall b\in\{\text{false},\text{true}\}, b = \text{false} \lor b = \text{true} $$$$

Lean4

theorem dichotomy (b : Bool) : b = false ∨ b = true := by grind

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru