Логические методы: Примеры метода от противного