Почему булева алгебра считается формальным способом описания логических операций?

Булева алгебра считается формальным способом описания логических операций, потому что она описывает обобщённые понятия и оперирует структурой высказываний, а не их конкретным содержанием. interneturok.ru

В булевой алгебре переменные могут принимать только два значения: «истинно» или «ложно» (или 1 или 0 соответственно). interneturok.ru Истинность или ложность составных высказываний можно определять чисто формально, руководствуясь законами алгебры высказываний, не обращаясь к смысловому содержанию высказываний. kopilkaurokov.ru