Исчисление высказываний

Затем мы рассмотрим расширение исчисление высказываний до исчисления предикатов.Начало исчисления высказываний было положено работами Джоржа Буля.Это расширение позволит нам строить рассуждения над целым рядом конструкций таких, как циклы.Мы также рассмотрим идеи эквивалентности, общезначимости или тавтологии для доказательства.Сумма двух сторон треугольника больше или равна третьей стороне этого треугольника.