Translating sentence into symbols

  • #1
Nathew
I'm having trouble with translating this english sentence into logic symbols.

The sentence is

The numbers four and five aren't both prime, but the numbers five and seven are.

I was thinking ~(F&I)v(IvS) but I really don't know how to deal with the "but".

Thanks
 

Answers and Replies

  • #3
Nathew
so
~(F&I)&(I&S)
?
 
  • #4
12,488
6,276
I meant the upside down v commonly used in logic for AND. The v itself is used for OR.
 
  • #5
TeethWhitener
Science Advisor
Gold Member
1,931
1,357
I was thinking ~(F&I)v(IvS) but I really don't know how to deal with the "but".
Jedishrfu is exactly right. In logic, "but" is equivalent to "and." If you say, for example "x is A but y is B," what you're really saying is "x is A and y is B," and the "but" merely points out that there is some sort of contrast that you want draw the listener's attention to.
 

Related Threads on Translating sentence into symbols

Replies
6
Views
6K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
17
Views
2K
  • Last Post
Replies
3
Views
971
  • Last Post
Replies
3
Views
5K
  • Last Post
Replies
0
Views
3K
  • Last Post
Replies
23
Views
2K
  • Last Post
Replies
12
Views
21K
  • Last Post
Replies
23
Views
3K
Top