Формулы логики предикатов

81. Пусть F₁ и F₂ являются формулами логики предикатов. Какое из приведенных ниже выражений не является формулой. F₁F₂.

82. Пусть F₁ и F₂ являются формулами логики предикатов. Какое из приведенных ниже выражений не является формулой. F₁ ∧∨ F₂

83. Формула логики предикатов называется выполнимой на множестве М, если при некоторой подстановке вместо предикатных переменных конкретных предикатов, заданных на этом множестве, она превращается в

выполнимый предикат

84.Формула логики предикатов называется опровержимой) на множестве М, если при некоторой подстановке вместо предикатных переменных конкретных предикатов, заданных на этом множестве, она превращается в опровержимый предикат.

85. Формула логики предикатов называется тождественно истинной на множестве М, если при всякой подстановке вместо предикатных переменных любых конкретных предикатов, заданных на этом множестве, она превращается в. тождественно истинный предикат.

86: Формула логики предикатов называется тождественно ложной на множестве М, если при всякой подстановке вместо предикатных переменных любых конкретных предикатов, заданных на этом множестве, она превращается в тождественно ложный предикат.

87. Формула логики предикатов называется общезначимой, или тавтологией, если при всякой подстановке вместо предикатных переменных любых конкретных предикатов, заданных на каких угодно множествах, она превращается в тождественно истинный предикат

88. Формула логики предикатов называется тождественно ложной или противоречием, если при всякой подстановке вместо предикатных переменных любых конкретных предикатов, заданных на каких угодно множествах, она превращается в тождественно ложный предикат.

89. Каким из ниже перечисленных слов или сочетанием слов следует заменить символ ▼ в следующей теореме.

Всякая формула, получающаяся из тавтологии алгебры высказываний заменой входящих в нее пропозициональных переменных произвольными ▼ , является тавтологией логики предикатов.

предикатными переменными.

90. Каким из ниже перечисленных символов следует заменить символ ▼ в выражении ▼ , чтобы получить тавтологию логики предикатов. →

91. Каким из ниже перечисленных символов следует заменить символ ▼в выражении (▼x)(F(x))→F(t)

чтобы получить тавтологию логики предикатов.

92. Каким из ниже перечисленных символов следует заменить символ ▼в выражении ▼ , чтобы получить тавтологию логики предикатов.

93. Каким из ниже перечисленных символов следует заменить символ ▼в выражении (▼x) , чтобы получить тавтологию логики предикатов.

94. Две формулы, F и H, логики предикатов называются равносильными на множестве М, если при любой подстановке в эти формулы вместо предикатных переменных любых конкретных предикатов, определенных на М, формулы превращаются в равносильные предикаты.

95. Приведенной формой для формулы логики предикатов называется такая равносильная ей формула, в которой из операций алгебры высказываний имеются только операции ¬, ∧, ∨ , а знаки отрицания относятся лишь к предикатным переменным и к высказываниям.

96. Предваренной нормальной формой для формулы логики предикатов называется такая ее приведенная форма, в которой все кванторы стоят в ее начале, а область действия каждого из них распространяется до конца формулы, то есть это формула вида , где K_i есть один из кванторов или , (m ), а формула F не содержит кванторов и является приведенной формой.

97. Резольвентой для родительских предложений P и PQ является Q

98. Резольвентой для родительских предложений PQ и PQ является Q

99. Резольвентой для родительских предложений PQ и QR является PR

100. Одной из возможных резольвент для родительских предложений PQ и PQ является QQ