3.3 Язык логики высказываний