• Support PF! Buy your school textbooks, materials and every day products via PF Here!

Nested quantifiers

  • Thread starter kramer733
  • Start date
324
0
1. Homework Statement

Question 5.

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

2. Homework Equations



3. 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.
 
Last edited by a moderator:
879
17
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 [itex]\neg[/itex] till that point, why
don't you carry it forward , inside the bracket
 
324
0
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 [itex]\neg[/itex] 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.
 
879
17
[tex]\neg(\exists z(\neg Q(x,y,z)))[/tex]

[tex]\forall z \;\neg (\neg Q(x,y,z))[/tex]

[tex]\forall z \;Q(x,y,z)[/tex]
 

Related Threads for: Nested quantifiers

  • Posted
Replies
10
Views
5K
  • Posted
Replies
6
Views
1K
  • Posted
Replies
4
Views
4K
  • Posted
Replies
11
Views
2K
  • Posted
Replies
3
Views
520
  • Posted
Replies
0
Views
1K
  • Posted
Replies
2
Views
399
  • Posted
Replies
7
Views
2K

Physics Forums Values

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
Top