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