Дана формула ¬(∃𝑥𝑃(𝑥))⊃∀𝑥𝑃(𝑥)¬(∃xP(x))⊃∀xP(x)\neg(\exists x P(x))\supset \forall x P(x) и интерпретация: 𝐷DD - множество натуральных чисел, 𝑃(𝑥)P(x)P(x) - предикат "𝑥xx - максимальное простое число". Какое утверждение справедливо? Формула выполнима, но не истинна в этой интерпретации., Формула истинна в этой интерпретации., Формула ложна в этой интерпретации.