Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

#1 2013-02-20 04:13:33

{7/3}
Full Member

Offline

How do i write it

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.

#2 2013-02-20 06:13:32

muxdemux
Full Member

Offline

Re: How do i write it

This could be a way to write it:

Last edited by muxdemux (2013-02-20 06:13:58)

#3 2013-02-20 18:35:19

{7/3}
Full Member

Offline

Re: How do i write it

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.

#4 2013-02-21 00:00:36

muxdemux
Full Member

Offline

Re: How do i write it

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-21 00:04:41)

Board footer

Powered by FluxBB