Язык логики высказываний включает Логический язык запросов пример