My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum


Reply
 
LinkBack Thread Tools Display Modes
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 if for every then .

I have come up with two possible translations:

1. Let
2. Let

I am leaning towards my first translation. What does everyone else think?

Thanks.
orokusaki is offline  
 
April 3rd, 2012, 08:38 PM   #2
Global Moderator
 
CRGreathouse's Avatar
 
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.
CRGreathouse is offline  
April 3rd, 2012, 08:46 PM   #3
Newbie
 
Joined: Apr 2012

Posts: 2
Thanks: 0

Re: Logic

Thank you so much CRGreathouse!
orokusaki is offline  
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
outsos is offline  
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 if for every then .

I have come up with two possible translations:

1. Let
2. Let

I am leaning towards my first translation. What does everyone else think?

Thanks.

Why should the 1st one be the correct one?
outsos is offline  
Reply

  My Math Forum > College Math Forum > Applied Math

Tags
logic



Thread Tools
Display Modes


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





Copyright © 2018 My Math Forum. All rights reserved.