Являются правильно построенными формулами (ППФ) следующие выражения языка логики предикатов (если не являются, укажите, почему):∀x(Px→Qx)∀x(Px→Qx) \forall x (Px \rightarrow Qx) Blank 1 Вопрос 1 ППФне является ППФ , Blank 2 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам) Px,(b∨c)Px,(b∨c) P x, (b \lor c) Blank 3 Вопрос 1 ППФне является ППФ , Blank 4 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам) (Pa∨Pc)→∀xPx(Pa∨Pc)→∀xPx (Pa \lor Pc) \rightarrow \forall x Px Blank 5 Вопрос 1 ППФне является ППФ , Blank 6 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам) ∀x(¬∃yPx,y∧Qy)∀x(¬∃yPx,y∧Qy) \forall x ( \neg \exists y Px, y \land Qy) Blank 7 Вопрос 1 ППФне является ППФ , Blank 8 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам) ∀x(∃yPx,¬y∧Qy)∀x(∃yPx,¬y∧Qy) \forall x ( \exists y Px, \neg y \land Qy) Blank 9 Вопрос 1 ППФне является ППФ , Blank 10 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам) ∀x∃cQx,c∀x∃cQx,c \forall x \exists c Qx, c Blank 11 Вопрос 1 ППФне является ППФ , Blank 12 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикаталог. союзы не применимы к термам (т.е. именам)