Насколько долгое? Ну, пропозициональная логика была изобретена около 300 до н. э., потеряна, заново изобретена около 1200 н. э. и затем улучшена до состояния символической логики в XIX веке н. э. Джорджем Булем, и от его имени происходит слово «булев», то есть «либо истинный, либо ложный».
