Постусловие метода
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
представляет логическое выражение, связывающее входные и выходные аргументы, которое должно быть истинным в момент завершения метода(Верный ответ)
если на некотором входе в момент завершения метода постусловие не выполняется, то это всегда говорит об ошибке в работе метода
может иметь значение false (Верный ответ)
метод корректен, если для всех входов с истинным предусловием гарантируется истинность постусловия на выходе(Верный ответ)
может иметь значение true (Верный ответ)
