Высказывания. Логические связки высказываний. Формализация высказываний ...