Основы программирования

<<- Назад к вопросам

Импликация p implies q в языке Eiffel по определению является полустрогой операцией. Какие утверждения являются справедливыми?

(Ответ считается верным, если отмечены все правильные варианты ответов.)

Варианты ответа

если посылка p ложна, то импликация истинна и тогда, когда заключение q неопределенно(Верный ответ)

результат импликации всегда определен

p implies q = (not p) or q

p implies q = (not p) or else q(Верный ответ)

Похожие вопросы

Какие утверждения об импликации p implies q являются корректными?

Какие утверждения справедливы для семантики присваивания target := source в языке Eiffel?

Какие утверждения справедливы для синтаксиса присваивания target := source в языке Eiffel?

Рассмотрим импликацию p implies q, где булевское выражение p является посылкой, а q – заключением. Какое из утверждений является некорректным?

Какое утверждение является неверным по отношению к механизму обработки исключительных ситуаций Retry - resque в языке Eiffel:

Оператор множественного выбора в языке Eiffel синтаксически имеет следующий вид:

inspectchoice-выражениеwhen val_1 then составной оператор_1when val_2 then составной оператор_2…else составной операторend

Какие условия выполняются для choice-выражения и when-значений?

Пусть определены классы Book, Page, Paragraph, моделирующие понятия "книга", "страница книги", "абзац". Пусть определен объект my_book, задающий некоторую книгу. Рассмотрим фрагмент кода на языке Eiffel:

Console.show(my_book.pages(j).paragraphs(i).text)

Является ли этот фрагмент синтаксически корректным, если да, то какова его возможная семантика?

Определим отношение "является подвидом". Вид А является подвидом вида В если экземпляры вида А являются частным случаем экземпляров вида В. Киты являются подвидом млекопитающих. Укажите высказывания, справедливые для отношения "является подвидом".

Какие утверждения справедливы для компонентов класса в языке Eiffel?

Какие утверждения справедливы для синтаксиса и семантики последовательности – составного оператора в языке Eiffel?