игра брюс 2048
Главная / Программирование / Логическое программирование / Тест 4

Логическое программирование - тест 4

Упражнение 1:
Номер 1 
Формула F называется общезначимой, если:

Ответ:

 (1) она истинна во всех интерпретациях 

 (2) она истинна хотя бы в одной интерпретации 

 (3) она ложна во всех интерпретациях 

Номер 2 
Если формула F истинна во всех интерпретациях, то она называется:

Ответ:

 (1) выполнимой 

 (2) общезначимой 

 (3) достоверной 

Номер 3 
Укажите условное обозначение общезначимой формулы:

Ответ:

 (1) A |= B 

 (2) |= F 

 (3) A |- B 

Упражнение 2:
Номер 1 
Формула F называется выполнимой, если:

Ответ:

 (1) она истинна во всех интерпретациях 

 (2) она истинна хотя бы в одной интерпретации 

 (3) она ложна во всех интерпретациях 

Номер 2 
Если формула F истинна хотя бы в одной интерпретации, то она называется:

Ответ:

 (1) достоверной 

 (2) общезначимой 

 (3) выполнимой 

Номер 3 
Укажите следствие теоремы о дедукции:

Ответ:

 (1) F = G 

 (2) A |= B <=> A |- B 

 (3) F : F = (F) 

Упражнение 3:
Номер 1 
Формула B следует из формулы A, если:

Ответ:

 (1) в любой интерпретации, для которой ложно A, оказывается истинным B 

 (2) в любой интерпретации, для которой истинно A, оказывается истинным и B 

 (3) в любой интерпретации, для которой истинно A, оказывается ложным B 

Номер 2 
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Ответ:

 (1) формула А следует из формулы В 

 (2) формула B следует из формулы A 

 (3) формулы A и B противоречивы 

Номер 3 
Укажите условное обозначение утверждения, что формула B следует из формулы A:

Ответ:

 (1) A |= B 

 (2) A ¬ B 

 (3) A |- B 

Упражнение 4:
Номер 1 
Исчисление называется полным, если:

Ответ:

 (1) не существует такой формулы A, что |- A и |-¬ A 

 (2) любая общезначимая формула A выводима 

 (3) если любая выводимая формула является общезначимой 

Номер 2 
Исчисление называется формально непротиворечивым, если:

Ответ:

 (1) любая общезначимая формула A выводима 

 (2) если любая выводимая формула является общезначимой 

 (3) не существует такой формулы A, что |- A и |-¬ A 

Номер 3 
Исчисление называется достоверным, если:

Ответ:

 (1) не существует такой формулы A, что |- A и |-¬ A 

 (2) любая общезначимая формула A выводима 

 (3) любая выводимая формула является общезначимой 

Упражнение 5:
Номер 1 
Укажите теорему Гёделя о полноте исчисления предикатов:

Ответ:

 (1) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима 

 (2) не существует алгоритма установления общезначимости произвольной формулы логики предикатов 

 (3) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией 

Номер 2 
Укажите теорему Гёделя о неполноте:

Ответ:

 (1) не существует алгоритма установления общезначимости произвольной формулы логики предикатов 

 (2) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией 

 (3) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима 

Номер 3 
Укажите теорему Чёрча:

Ответ:

 (1) не существует алгоритма установления общезначимости произвольной формулы логики предикатов 

 (2) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима 

 (3) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией 

Упражнение 6:
Номер 1 
Алфавит произвольной формальной системы - это ...

Ответ:

 (1) счетное множество формул системы 

 (2) бесконечное множество символов 

 (3) счетное множество символов 

Номер 2 
Формулы произвольной формальной системы - это ...

Ответ:

 (1) некоторое подмножество всех слов, которые можно образовать из символов, входящих в алфавит 

 (2) бесконечное множество всех слов, которые можно образовать из символов, входящих в алфавит 

 (3) некоторое подмножество всех слов, которые можно образовать из правил вывода системы 

Номер 3 
Правила вывода произвольной формальной системы - это ...

Ответ:

 (1) конечное множество отношений между символами алфавита системы 

 (2) бесконечное множество отношений между формулами системы 

 (3) конечное множество отношений между формулами системы 

Упражнение 7:
Номер 1 
Синтаксический способ доказательства общезначимости формул основан на попытке:

Ответ:

 (1) построения вывода и перебора всех интерпретаций 

 (2) построения вывода 

 (3) перебора всех интерпретаций 

Номер 2 
Семантический способ доказательства общезначимости формул основан на попытке:

Ответ:

 (1) построения вывода и перебора всех интерпретаций 

 (2) построения вывода 

 (3) перебора всех интерпретаций 

Номер 3 
Исчисление разрешимо, если:

Ответ:

 (1) существует алгоритм определения того, является ли заданная формула общезначимой или нет 

 (2) не существует алгоритма определения того, является ли заданная формула общезначимой или нет 

 (3) это конъюнкция конечного числа дизъюнктов 

Упражнение 8:
Номер 1 
Укажите определение линейной стратегии резолюции:

Ответ:

 (1) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом 

 (2) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода 

 (3) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем 

Номер 2 
Укажите определение резолюции с выбирающим правилом:

Ответ:

 (1) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем 

 (2) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом 

 (3) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода 

Номер 3 
Укажите определение упорядоченной стратегии резолюции:

Ответ:

 (1) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода 

 (2) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом 

 (3) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем 

Упражнение 9:
Номер 1 
Дизъюнктом Хорна называется:

Ответ:

 (1) дизъюнкция литералов с не более чем одним положительным литералом 

 (2) дизъюнкция литералов с не менее чем одним положительным литералом 

 (3) дизъюнкция литералов с не более чем двумя положительными литералами 

Номер 2 
Дизъюнкция литералов с не более чем одним положительным литералом, называется:

Ответ:

 (1) дизъюнкт Гегеля 

 (2) дизъюнкт Хорна 

 (3) дизъюнкт Черча 

Номер 3 
Резолюция для логики предикатов обладает свойством полноты и непротиворечивости только для:

Ответ:

 (1) дизъюнктов Гегеля 

 (2) дизъюнктов Хорна 

 (3) кванторов Хорна 

Упражнение 10:
Номер 1 
Применением  к формуле или терму F называется:

Ответ:

 (1) формула или терм, в которой ни одно из вхождений Xi не заменено на соответствующие термы ti 

 (2) формула или терм, в которой одно вхождение Xi заменено на соответствующий терм ti 

 (3) формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti 

Номер 2 
Композиция унификаторов = будет в том случае, если:

Ответ:

 (1) это формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti 

 (2) для всех формул F = G 

 (3) для всех формул F : F = (F) 

Номер 3 
Подстановка  называется унификатором для формул или термов F и G, если:

Ответ:

 (1) F ¬  

 (2) F = G 

 (3) F : F = (F) 

Упражнение 11:
Номер 1 
Формула находится в предваренной нормальной форме, если:

Ответ:

 (1) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов 

 (2) это конъюнкция конечного числа дизъюнктов 

 (3) она находится в предваренной нормальной форме и не содержит кванторов существования 

Номер 2 
Формула находится в конъюнктивной нормальной форме, если:

Ответ:

 (1) она находится в предваренной нормальной форме и не содержит кванторов существования 

 (2) это конъюнкция конечного числа дизъюнктов 

 (3) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов 

Номер 3 
Формула находится в сколемовской нормальной форме, если:

Ответ:

 (1) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов 

 (2) она находится в предваренной нормальной форме и не содержит кванторов существования 

 (3) это конъюнкция конечного числа дизъюнктов 

Упражнение 12:
Номер 1 
Укажите обозначение логической связки отрицания:

Ответ:

 (1) ¬ 

 (2)  

 (3) v 

Номер 2 
Укажите обозначение логической связки конъюнкции:

Ответ:

 (1) ¬ 

 (2) , 

 (3) v 

Номер 3 
Укажите обозначение логической связки дизъюнкции:

Ответ:

 (1) ¬ 

 (2)  

 (3) v 



Главная / Программирование / Логическое программирование / Тест 4