Ответы к задачам (1158173), страница 2

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 2)

3 не существует успешный табличный вывод для Т=<0,s>

4 не существует успешный табличный вывод для Т=<s,0>

5 1-4 неверно

Задача 25. Пусть Г – непустое множество логических следствий формулы φ. Г не имеет ни одной модели с конечной или счетной областью интерпретации

Что неверно?

1 φ не имеет ни одной модели с конечной или счетной областью интерпретации (см.пункт 2)

2 φ не имеет вообще ни одной модели (фи противоречиво, т.к. Множество логических следствий противоречиво)

3 любая пси является логическим следствием φ (любая формула является логическим следствием противоречивой)

4 любая замкнутая формула пси равносильна φ

Задача 25. Пусть h, g - подстановки, h=gp (композиция подстановок) (p - подстановка) (g – almost НОУ)

1 Ah=Bh -> Ag=Bg

2 Ag=Bg -> Ah=Bh (Применяем p к одинаковым формулам)

3 h-noy -> g- not noy

4 g-noy -> h- not noy

Задача 26. Пусть Р – это хорновская логическая программа, а S – это множество всех дизъюнктов, соответствующих программным утверждениям программы Р. Известно, что для наименьшей эрбрановской модели МР программы Р выполняется соотношение МР = ø. Какие из приведенных ниже утверждений будут при этом всегда НЕверны и почему?

1. В Р нет фактов (верно)

2. Для Р вообще не существует моделей (для любой лог проги есть эрб модель!)

3. Любой запрос к проге выполняется неуспешно (верно)

4. Такой проги нет (пример: P(x)<-P(x); P(x)<-;)

Задача 27. ψ – пнф, φ – ссф для ψ

1. φ - невыполнима, то ψ - невыполнима

2. φ - выполнима, то ψ - выполнима

3. φ - общезначима, то ψ - общезначима

4. 3 в другую сторону

5. Все не верно

Задача 28. Пусть Р – это хорновская логическая программа, а S – это множество всех дизъюнктов, соответствующих программным утверждениям программы Р. Известно, что для наименьшей эрбрановской модели МР программы Р выполняется соотношение МР = ø. Какие из приведенных ниже утверждений будут при этом всегда верны и почему?

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

2. В 1-2 были утверждения по смыслу схожие с тем, что некоторый запрос к этой программе выполняется неуспешно (или что-то в этом роде, если мне не изменяет память)

3. Система дизъюнктов S является противоречивой, потому что…

4. Такой проги нет (контрпример: P(x)<-P(x); P(x)<-;)

5. Все приведенные выше утверждения всегда неверны, потому что… (4 объяснили, а вообще эта программа, в которой нет фактов, так как если бы они были, то было бы не верно, что МР = ø. Следовательно, 1-2-3 неверны.) (см.пояснение к пункту 1)

Характеристики

Список файлов ответов (шпаргалок)