# I Finding useful denial (1 Viewer)

### Users Who Are Viewing This Thread (Users: 0, Guests: 1)

#### ver_mathstats

Let U be universe under consideration, and let P(x) and Q(x) be predicate with free variable x. Find a useful denial for (∀x∈U)(P(x)⇒Q(x))

¬(∀x∈U)(P(x)⇒Q(x))

(∃x∈U)¬(P(x)⇒Q(x))

¬(P(x)⇒Q(x))

¬P∨Q

I'm unsure if I am on the write path when it comes to finding the useful denial, is this how to do it?

Thank you.

#### fresh_42

Mentor
2018 Award
$$\lnot \,(P(x) \Longrightarrow Q(x)) \Longleftrightarrow \exists \,x_0 \in U \, : \,P(x_0) \wedge \lnot \,Q(x_0)$$

### The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving