Формулы алгебры высказываний. Формальное исчисление высказываний
41. Формула алгебры высказываний называется выполнимой, если: существует такой конкретный набор высказываний, при подстановке которого в формулу получается истинное высказывание
42. Формула алгебры высказываний называется опровержимой, если: существует такой набор высказываний, при подстановке которого в формулу получится ложное высказывание
43. Формула алгебры высказываний называется тождественно ложной, если: она на любом наборе высказываний, подставляемых вместо пропозициональных переменных, представляет собой ложное высказывание
44. Формула алгебры высказываний называется тавталогией, если: при подстановке любых наборов конкретных высказываний в формулу, получаем истинное высказывание
45. Каким из ниже перечисленных слов следует заменить символ ▼ в предложении: Формальная теория включает множество символов А, образующих ▼. алфавит
46. Каким из ниже перечисленных слов следует заменить символ ▼ в предложении: Формальная теория включает множество слов Т, образующих ▼. формулы.
47. Каким из ниже перечисленных слов следует заменить символ ▼ в предложении: Формальная теория включает множество формул В, образующих ▼. аксиомы.
48. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем предложении:
Формальная теория включает множество отношений R на множестве формул, которые образуют ▼ правила вывода.
49. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Выводом формулы F из множества формул Г называется последовательность формул В1, В2, … , Вк, Вк+1, … , Вn = F, где каждая формула Вк есть либо формула из Г, либо ▼, либо получена из предыдущих формул последовательности по одному из правил вывода. аксиома
50. Каким из ниже перечисленных слов следует заменить символ ▼ в следующем определении.
Выводом формулы F называется последовательность формул В1, В2, … , Вк, Вк+1, … , Вn = F, где каждая формула Вк есть либо ▼, либо получена из предыдущих формул последовательности по одному из правил вывода. аксиома
51. Правило
Modus
Рonenc
имеет вид:
52. Правило
Modus
tollens
имеет вид:
53. Каким из ниже перечисленных слов следует заменить символ ▼ в предложении:
Метатеория – это совокупность фактов о свойствах теории, в частности, факт выводимости некоторой формулы теории является ▼. : метатеоремой.
54. Полнота Формального исчисления высказываний (ФИВ) означает: что всякая выводимая в ФИВ формула является тавтологией содержательной теории высказываний и всякая тавтология должна выводиться в ФИВ
55. Разрешимость Формального исчисления высказываний (ФИВ) означает: что существует эффективное правило или алгоритм доказательства теорем.
56. Независимость системы аксиом Формального исчисления высказываний (ФИВ) означает: что ни одна из аксиом этой теории не выводится из остальных
57. Непротиворечивость Формального исчисления высказываний (ФИВ) означает: что в ней невозможно доказать обе формулы F и ¬F.
58. Какая из приведенных формул не выводима в Формальном исчислении высказываний
59. Какая из приведенных формул не выводима в Формальном исчислении высказываний
60. Какая из приведенных формул выводима в Формальном исчислении высказываний