Примеры языка логики высказываний