Тип данных bool. Булево.

Данный тип данных назван в честь английского математика Джорджа Буля. Википедия.

Публике Буль был известен в основном как автор ряда трудных для понимания статей на математические темы и трёх или четырёх монографий, ставших классическими. Шестнадцать его статей были опубликованы в «Философском журнале» (Philosophical Magazine), шесть мемуаров — в «Философских трудах» (Philosophical Transactions), ряд других — в «Трудах Королевского общества Эдинбурга и Королевской Ирландской академии» (Transactions of the Royal Society of Edinburgh and of the Royal Irish Academy), в «Вестнике Санкт-Петербургской академии» (Bulletin de l’Académie de St-Pétersbourg, под псевдонимом G. Boldt, Vol. IV. pp. 198–215) и в журнале Крелле (Journal für die reine und angewandte Mathematik).
Этот список дополняет публикация 1848 года в «Журнале механика» (Mechanic’s Magazine) о математических основах логики.
Всего Булем было опубликовано около пятидесяти статей в различных изданиях и несколько монографий. На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

С работами Буля мы ещё столкнёмся когда будем учить логические выражения и таблицы истинности

Говоря про тип данных bool, следует упомянуть, что он может хранить в себе только одно из двух значений — это либо True, либо False. Истина либо Ложь.

Указывать данный тип можно явно …

sun = True
rain = False

…либо неявно.

sun  = t > 20
rain = t < 10

Здесь переменные sun и rain задаются неявно и зависят от того что в себе хранит переменная t, но в любом случае они будут хранить в себе True либо False.