Universal Quantifier question

  • Thread starter mattmns
  • Start date
  • #1
mattmns
1,118
6
I have a question that says, determine the truth value of: [tex]\exists x \ni \forall y, \exists z \ni xz = y[/tex]

I am thinking this is false because: If you let x = 0, and let y = 1, then there is no value of z that will make the statement true. Am I thinking about this correctly?
 

Answers and Replies

  • #2
StatusX
Homework Helper
2,571
2
Your reasoning would be right if that was a universal quantifier instead of an existential one. All you have to find is one x where this is true and the statement is true.
 
  • #3
mattmns
1,118
6
So if x=1 then for every value of y there is a value of z such that xz = y.

So it is dependent on the statements afterward, the exestential quantifier [tex]\exists x[/tex] ? So I would say. There is a value of x such that for any value of y there is a value of z such that xz = y. I guess you are right, it sounds as though it depends on the things that follow. Thanks.
 

Suggested for: Universal Quantifier question

  • Last Post
Replies
7
Views
631
Replies
5
Views
505
  • Last Post
Replies
4
Views
286
  • Last Post
Replies
2
Views
223
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
8
Views
305
  • Last Post
Replies
11
Views
267
  • Last Post
Replies
11
Views
382
Replies
5
Views
991
Top