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

Page 1 of 1

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

#1 TechSyndrome

Reputation: 3
• 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

• D.I.C Lover

Reputation: 1158
• Posts: 2,538
• 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."

#3 tlhIn`toq

• Freelance developer

Reputation: 6225
• Posts: 13,733
• 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?

#4 TechSyndrome

Reputation: 3
• 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

tlhIn`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.

#5 tlhIn`toq

• Freelance developer

Reputation: 6225
• Posts: 13,733
• 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.

#6 TechSyndrome

Reputation: 3
• 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

tlhIn`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.

#7 lordofduct

• I'm a cheeseburger

Reputation: 2606
• Posts: 4,735
• 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?

#8 jon.kiparsky

• Pancakes!

Reputation: 9541
• Posts: 16,492
• 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

tlhIn`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...

#9 TechSyndrome

Reputation: 3
• 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

lordofduct, 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.