8 Replies - 1175 Views - Last Post: 04 June 2012 - 11:58 AM

#1 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:00 PM

Hi, I'm looking through some lecture slides but can't understand what "def" means in this expression: p =def The moon is made of cheese. I haven't seen it before and have made some guesses i.e. define, definition - but I don't want to make a guess, I want to be exact.

Anyone have an idea?
Is This A Good Question/Topic? 0
  • +

Replies To: Logic - What does "def" mean in "p =def The moon is made o

#2 blackcompe  Icon User is offline

  • D.I.C Lover
  • member icon

Reputation: 1150
  • View blog
  • Posts: 2,528
  • Joined: 05-May 05

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:02 PM

It probably means "define."
Was This Post Helpful? 1
  • +
  • -

#3 tlhIn`toq  Icon User is offline

  • Please show what you have already tried when asking a question.
  • member icon

Reputation: 5438
  • View blog
  • Posts: 11,667
  • Joined: 02-June 10

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:22 PM

What coding language?
Was This Post Helpful? 0
  • +
  • -

#4 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:28 PM

View PosttlhIn`toq, on 03 June 2012 - 04:22 PM, said:

What coding language?


It's logic in Comp Science. To me it's logical that "def" means "defines", and so far I haven't seen anything in my answers to those questions to suggest otherwise as they have all been correct.
Was This Post Helpful? 0
  • +
  • -

#5 tlhIn`toq  Icon User is offline

  • Please show what you have already tried when asking a question.
  • member icon

Reputation: 5438
  • View blog
  • Posts: 11,667
  • Joined: 02-June 10

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:34 PM

So no specific coding language?

Then it means whatever the guy that wrote it says it means.
If it isn't actually used to build a program then its just pseudo code.

Under different circumstances it might stand for defibrillator, if were you were building medical software.
Was This Post Helpful? 0
  • +
  • -

#6 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 03 June 2012 - 04:37 PM

View PosttlhIn`toq, on 03 June 2012 - 04:34 PM, said:

So no specific coding language?

Then it means whatever the guy that wrote it says it means.
If it isn't actually used to build a program then its just pseudo code.

Under different circumstances it might stand for defibrillator, if were you were building medical software.


Yes, there was no specific coding language, just an understanding of Propositional Logic in Computer Science. But you made an interesting (and potentially useful) point with regards to the terms use in medical software. Thanks.
Was This Post Helpful? 0
  • +
  • -

#7 lordofduct  Icon User is offline

  • I'm a cheeseburger
  • member icon


Reputation: 2531
  • View blog
  • Posts: 4,631
  • Joined: 24-September 10

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 04 June 2012 - 10:31 AM

It most likely means 'defined as', in logics and maths I've seen it used for that many times. But as tlhIn`toq pointed out, it all depends on what the author intended... this is a textbook right? Have you checked its index and/or appendix?
Was This Post Helpful? 1
  • +
  • -

#8 jon.kiparsky  Icon User is online

  • Pancakes!
  • member icon


Reputation: 7576
  • View blog
  • Posts: 12,735
  • Joined: 19-March 11

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 04 June 2012 - 10:34 AM

View PosttlhIn`toq, on 03 June 2012 - 06:34 PM, said:

So no specific coding language?

Then it means whatever the guy that wrote it says it means.


Actually, this is always the case... :)
Was This Post Helpful? 1
  • +
  • -

#9 TechSyndrome  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 3
  • View blog
  • Posts: 135
  • Joined: 06-May 12

Re: Logic - What does "def" mean in "p =def The moon is made o

Posted 04 June 2012 - 11:58 AM

View Postlordofduct, on 04 June 2012 - 10:31 AM, said:

It most likely means 'defined as', in logics and maths I've seen it used for that many times. But as tlhIn`toq pointed out, it all depends on what the author intended... this is a textbook right? Have you checked its index and/or appendix?


I don't know whether it's from a textbook (I imagine it is). I found some open lecture slides online, and I'm 100% sure now that it means 'defined as'/'defined'. So it's all cool now. Thanks for confirming though.
Was This Post Helpful? 0
  • +
  • -

Page 1 of 1