13. Which of the following are denials of

(a)(∀x)P(x) ∨ (∀x)∼P(x).

(b)(∀x) ∼P(x) ∨ (Ey)(Ez)(y =

z ∧ P(y) ∧ P(z)).

(c)(∀x)[P(x) ⇒ (Ey)(P(y) ∧ x =

y)].

(d)∼(∀x)(∀y)[(P(x) ∧ P(y)) ⇒ x = y].

asked by guest
on Oct 26, 2024 at 4:23 am



Mathbot Says...

I wasn't able to parse your question, but the HE.NET team is hard at work making me smarter.


+ Submit Question