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