Алгебра высказываний.
Эта тема важна для школьной математики. Не овладев ее основными действиями, нельзя понять последующие темы, как, не овладев таблицами сложения и умножения, нельзя научиться арифметике и тем более алгебре. Исходные объекты алгебры высказываний - это простые высказывания. Их будем обозначать строчными латинскими буквами a, b, c x, y, z. Предполагается, что всякое простое высказывание обладает одним и только одним из двух свойств либо оно истинно, либо ложно.
Будем пользоваться почти повсеместно принятой терминологией свойства истинности и и ложности л мы будем называть значениями истинности высказываний. При такой терминологии значение истинности сложного высказывания есть функция от значений истинности простых высказываний такая функция называется логической связкой. 4.1.1