Question

Discrete mathematics (usage of the existential and universal quantifiers and translation into the english language.

I'll medal and fan an accurate answerer, whatever wings your ding

Answer 1

Hello, can someone please check my work for the following question?
"Let Q(x,y) be the statement "student x has been a contestant on quiz show y." Express each of these sentences in terms of Q(x, y), quantifiers, and logical connectives, where the universe of discourse for x consists of all students at your school and for y consists of all quiz shows on television.

Answer 2

b. "No student at your school has ever been a contestant on a television quiz show"
I got ¬∃x∃yQ(x,y). Is this correct in terms of operator precedence?

Answer 3

@wio welp?

Answer 4

I don't think \(
\exists y
\) should be used here.

Answer 5

I have to use a binding for y otherwise it remains a predicate though

Answer 6

Hmmm, yeah I suppose it is ok.

Answer 7

the problem is I don't want to say ~(∃x∃y)Q(x,y)

Answer 8

Yeah, that is the problem I originally saw is that ambiguity.

Answer 9

add my own parenthesis?

Answer 10

There is also \(
\forall x\neg \exists yQ(x,y)
\)

Answer 11

are you sure that's the same thing?

Answer 12

∀x¬∃yQ(x,y)=∀x∀y¬Q(x,y)

Answer 13

It's not as direct because it is saying "All students have not been on any quiz show."

Answer 14

It's logically equivalent. I suppose you could just try doing parenthesis.

Answer 15

wait google
http://site.iugaza.edu.ps/amarasa/files/sec-1.4.pdf