Дана формула (∀𝑥∃𝑦𝑃(𝑥,𝑦,𝑧))⊃𝑄(𝑧)(∀x∃yP(x,y,z))⊃Q(z)(\forall x\exists yP(x, y, z))\supset Q(z) и две интерпретации: (1) 𝐷=ℕD=ND=\mathbb{N} - множество натуральных чисел, предикат 𝑃(𝑥,𝑦,𝑧)P(x,y,z)P(x, y, z) интерпретируется как тернарное отношение 𝑥+𝑦=𝑧x+y=zx+y=z, 𝑄(𝑥)Q(x)Q(x) - предикат положительности (число 𝑥xx положительно); (2) 𝐷=ℤD=ZD=\mathbb{Z} - множество целых чисел, предикаты 𝑃(𝑥,𝑦,𝑧)P(x,y,z)P(x, y, z), 𝑄(𝑥)Q(x)Q(x) понимаются так же как в (1). Какое утверждение справедливо? Формула выполнима, но не истинна в (1) и истинна в (2)., Формула выполнима, но не истинна в (1) и ложна в (2)., Формула выполнима, но не истинна в обеих интерпретациях., Формула истинна в (1) и выполнима, но не истинна в (2)., Формула ложна в (1) и выполнима, но не истинна в (2).