Пример умозаключения утверждающе-отрицающего модуса Логика