You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

How do i write this using logic symbols "for all natural number x there exists a unique y such that y is twice as x" ?

There are 10 kinds of people in the world,people who understand binary and people who don't.

Offline

**muxdemux****Member**- Registered: 2012-12-23
- Posts: 80

This could be a way to write it:

*Last edited by muxdemux (2013-02-19 07:13:58)*

Offline

**{7/3}****Member**- Registered: 2013-02-11
- Posts: 210

When do i use the brackets and what is the meaning of the 2 signs which look like v and upside-down v.

There are 10 kinds of people in the world,people who understand binary and people who don't.

Offline

**muxdemux****Member**- Registered: 2012-12-23
- Posts: 80

The brackets just make it clear which part of the sentence you want the "for all" quantifier to apply. In larger sentences you might want to quantify

for some of the equation but not the rest. I guess in this case the brackets weren't needed.The 'v' and upside-down 'v' you're talking about sound like the symbols for logical disjunction

and conjunction , respectively. There's a Wikipedia page which includes all these symbols and describes their meaning if you're interested:http://en.wikipedia.org/wiki/List_of_ma … al_symbols

(Scroll down about half way for the dis- and conjunction symbols.)

*Last edited by muxdemux (2013-02-20 01:04:41)*

Offline

Pages: **1**