Answer Nested Quantifiers Q5: Exist X, All Y

[kramer733]

Homework Statement

Question 5.

http://cg.scs.carleton.ca/~michiel/1805/assignment1.pdf

Homework Equations

The Attempt at a Solution

I arrived here:

Exist X, All Y (P(x,y) and NEGATION (Exist z: NEGATION Q(x,y,z))

I have no idea how you guys do the notation. If anybody would like to show me how to use notation here at physics forums, it'd be great. Tried googling it but failed.

 

[issacnewton]

very good reference for latex notation is at

tobi.oetiker.ch/lshort/lshort.pdf

for the list of mathematical symbols go to page 72 in pdf. also on this forum , there is latex help thread which can help you.

in the problem, you are doing good, you have carried \neg till that point, why
don't you carry it forward , inside the bracket

 

[kramer733]

very good reference for latex notation is at

tobi.oetiker.ch/lshort/lshort.pdf

for the list of mathematical symbols go to page 72 in pdf. also on this forum , there is latex help thread which can help you.

in the problem, you are doing good, you have carried \neg till that point, why
don't you carry it forward , inside the bracket

I'm not sure what happens when you negate something inside a bracket. It confused me.

 

[issacnewton]

\neg(\exists z(\neg Q(x,y,z)))

\forall z \;\neg (\neg Q(x,y,z))

\forall z \;Q(x,y,z)