2.1.1. Тестовый сборник вопросов

Вопросы о классах объектов (принадлежность объекта классам и теоретико‑множественные отношения):

1. Какие объекты относятся к классу высказываний? Какие существуют кванторные операции? Какие существуют виды переменных? 

2. . Какая формула является теоремой исчисления высказываний? 3. Виды сложных суждений ? 4. Какое суждение называется простым? 5. По какому признаку элементарности разбивается высказывание? По какому признаку количеству посылок разбивается умозаключение? По какому признаку направление вывода разбивается умозаключение? 6. Чем являются предметные переменные и константы? Чем определяется каноническая система? 7. На сколько групп делятся аксиомы исчисления предикатов? 8. Когда формула называется истинной в данной интерпретации? 9. При каком условии формула называется ложной в данной интерпретации? 10. Чем определяется каноническая система? 11. Какой существует другой способ детерминизации формальных систем? 12. Что содержится в булевых формулах кроме переменных и скобок? 13. Какой может быть формула логики предикатов? 14.Верно ли что любая формальная теория , содержащая формальную арифметику неполна? 15. В чём отличие Первой теоремы Геделя от Второй теоремы Геделя? 16.Где используется правило вывода? 17.Как называется умозаключение, в котором на основании сходства предметов в одних признаках делается заключение о сходстве предметов в других признаках? 18.Как иначе называются системы продукции Поста ? Как называется утверждение, для которого в рассматриваемой теории существует доказательство? 19. Из чего состоит алфавит исчисления предикатов ? 20. Каким образом теория получает свои теоремы? 21. Принципы построения формальных теорий? 22. Какое отличие дедуктивного и индуктивного доказательства? 23. С какой целью используется правило резолюций? 24. Выполняется ли первая теорема Геделя? 25. Для чего используются формальная теория? 26. Верно ли что , если формула истинна при любых значениях входящих в неё переменных, то формула является тождественно истинной? 27. Кем была сформулировано понятие теорема о дедукции?