My Math Forum Logic

 Applied Math Applied Math Forum

 April 3rd, 2012, 08:28 PM #1 Newbie   Joined: Apr 2012 Posts: 2 Thanks: 0 Logic Hi, I have this problem whereby I need to convert a sentence into a logic statement. It'd be great if I could get some feedback on where I am going wrong/right. The sentence to translate: Let $x,y,\epsilon \in \mathbb{R},$ if $(x \le y + \epsilon)$ for every $\epsilon > 0$ then $(x \le y )$. I have come up with two possible translations: 1. Let $x,y,\epsilon \in \mathbb{R}, \ \forall \epsilon [(\epsilon>0) \rightarrow (x \le y + \epsilon)] \rightarrow (x \le y)$ 2. Let $x,y,\epsilon \in \mathbb{R}, \ \forall \epsilon (\epsilon>0) \rightarrow [(x \le y + \epsilon) \rightarrow (x \le y)]$ I am leaning towards my first translation. What does everyone else think? Thanks.
 April 3rd, 2012, 08:38 PM #2 Global Moderator     Joined: Nov 2006 From: UTC -5 Posts: 16,046 Thanks: 938 Math Focus: Number theory, computational mathematics, combinatorics, FOM, symbolic logic, TCS, algorithms Re: Logic Yes, the first one is right. The second one says something else which happens to be correct: if x <= y + e for e > 0, then x <= y.
 April 3rd, 2012, 08:46 PM #3 Newbie   Joined: Apr 2012 Posts: 2 Thanks: 0 Re: Logic Thank you so much CRGreathouse!
April 4th, 2012, 02:04 AM   #4
Senior Member

Joined: Apr 2010

Posts: 451
Thanks: 1

Re: Logic

Quote:
 Originally Posted by CRGreathouse Yes, the first one is right. The second one says something else which happens to be correct: if x <= y + e for e > 0, then x <= y.

Only a formal proof justifies the correctness of a formula ,since there are not rules in tranlating from words to symbols,you should know that.

And formulas in mathematics are closed formulas,so technicaly speeking none of the formulaes of the OP are correct

April 4th, 2012, 05:03 AM   #5
Senior Member

Joined: Apr 2010

Posts: 451
Thanks: 1

Re: Logic

Quote:
 Originally Posted by orokusaki Hi, I have this problem whereby I need to convert a sentence into a logic statement. It'd be great if I could get some feedback on where I am going wrong/right. The sentence to translate: Let $x,y,\epsilon \in \mathbb{R},$ if $(x \le y + \epsilon)$ for every $\epsilon > 0$ then $(x \le y )$. I have come up with two possible translations: 1. Let $x,y,\epsilon \in \mathbb{R}, \ \forall \epsilon [(\epsilon>0) \rightarrow (x \le y + \epsilon)] \rightarrow (x \le y)$ 2. Let $x,y,\epsilon \in \mathbb{R}, \ \forall \epsilon (\epsilon>0) \rightarrow [(x \le y + \epsilon) \rightarrow (x \le y)]$ I am leaning towards my first translation. What does everyone else think? Thanks.

Why should the 1st one be the correct one?

 Tags logic

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post KyVanchhay Math Events 1 July 31st, 2013 01:51 AM ungeheuer Applied Math 7 February 27th, 2013 06:28 PM krnbluemonkey Applied Math 2 September 12th, 2010 08:02 PM Ryuk Computer Science 2 June 9th, 2009 11:31 AM simi Algebra 0 April 27th, 2008 03:00 AM

 Contact - Home - Forums - Cryptocurrency Forum - Top