false_eq_true_eq_False

Mathlib.Data.Bool.Basic

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

English

False and True are distinct; in particular, false is not equal to true.

Русский

Ложь и истина различны; в частности, false не равно true.

LaTeX

$$$$ \neg(\mathrm{False} = \mathrm{True}). $$$$

Lean4

theorem false_eq_true_eq_False : ¬(false = true) := by decide

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

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

Разделы

Аффилиация

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