Являются правильно построенными формулами (ППФ) следующие выражения языка логики предикатов (если не являются, укажите, почему):∀xPa∀xPa \forall x Pa Blank 1 Вопрос 1 ППФне является ППФ , Blank 2 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) ∃x∀aPa,x∃x∀aPa,x \exists x \forall a Pa, x Blank 3 Вопрос 1 ППФне является ППФ , Blank 4 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) ∀∃xPx,x∀∃xPx,x \forall \exists x Px, x Blank 5 Вопрос 1 ППФне является ППФ , Blank 6 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) Px,∀yPx,∀y Px, \forall y Blank 7 Вопрос 1 ППФне является ППФ , Blank 8 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) ¬∀x¬Px¬∀x¬Px \neg \forall x \neg Px Blank 9 Вопрос 1 ППФне является ППФ , Blank 10 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) ¬∀xP¬x¬∀xP¬x \neg \forall x P \neg x Blank 11 Вопрос 1 ППФне является ППФ , Blank 12 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя) ¬¬∃x¬Px,a,x¬¬∃x¬Px,a,x \neg \neg \exists x \neg Px, a, x Blank 13 Вопрос 1 ППФне является ППФ , Blank 14 Вопрос 1 все ОКквантор должен связывать переменнуюквантор не может быть внутри предикатанельзя отрицать терм (т.е. имя)