Tricky Logical Problem

  • Thread starter studas
  • Start date
  • #1
1
0

Homework Statement


This is a problem I have been had some troubles understanding in my Discrete Mathematics course.

[PLAIN]http://i.imgur.com/HTUNr7f.png[/PLAIN]


[itex]\forall[/itex]x[itex]\forall[/itex]y[itex]\exists[/itex]z(x<z[itex]\rightarrow[/itex]x≥y)



Homework Equations



I know that this statement is true, according to the solutions page, but I just cannot comprehend why?



The Attempt at a Solution



Does anyone have any ideas?
 

Attachments

Answers and Replies

  • #2
82
2
The statement is true, because if you choose z to be less or equal to x, then (x < z) is a false statement, so (x < z ) -> A is always true, regardless of "A".
 

Related Threads on Tricky Logical Problem

Replies
6
Views
782
  • Last Post
Replies
4
Views
5K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
2K
Replies
3
Views
1K
Replies
6
Views
1K
  • Last Post
Replies
0
Views
842
Replies
1
Views
2K
  • Last Post
Replies
5
Views
3K
Top