Mathlog_Answers (1158139), страница 2

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

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

3 любая пси является логическим следствием φ

4 любая замкнутая формула пси равносильна φ (одна из скобок фи->пси или пси->фи false)

Задача 25. Пусть h, g э subst, h=gp (p э subst) (g – almost noy)

1 Ah=Bh -> Ag=Bg

2 Ag=Bg -> Ah=Bh

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 неверны.)

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

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