If you have a new account but are having problems posting or verifying your account, please email us on hello@boards.ie for help. Thanks :)

Hello all! Please ensure that you are posting a new thread or question in the appropriate forum. The Feedback forum is overwhelmed with questions that are having to be moved elsewhere. If you need help to verify your account contact hello@boards.ie

Hi there,
There is an issue with role permissions that is being worked on at the moment.
If you are having trouble with access or permissions on regional forums please post here to get access: https://www.boards.ie/discussion/2058365403/you-do-not-have-permission-for-that#latest

Help with some symbols

GarIT · 2014-01-01 21:27:34

Can anyone explain what |= means as well as what it means with a / through the = ? I would assume that / just means not. We're using these symbols in logic and not maths but I didn't know of anywhere better to put the thread. Thanks.

01-01-2014 9:27pm

#1

GarIT

Registered Users, Registered Users 2 Posts: 8,671 ✭✭✭

Join Date: March 2011

Posts: 8262

Can anyone explain what |= means as well as what it means with a / through the = ? I would assume that / just means not. We're using these symbols in logic and not maths but I didn't know of anywhere better to put the thread. Thanks.

0

Comments

#2 01-01-2014 9:37pm

GarIT

Registered Users, Registered Users 2 Posts: 8,671 ✭✭✭

Join Date: March 2011

Posts: 8262

Can a mod close or delete this? I've found the answer elsewhere, thanks.

0
#3 01-01-2014 10:36pm

Yakuza

Registered Users, Registered Users 2 Posts: 5,141 ✭✭✭

Join Date: November 1999

Posts: 5008

Post what you found here, add to the sum total of knowledge on Boards

0
#4 02-01-2014 12:49pm

GarIT

Registered Users, Registered Users 2 Posts: 8,671 ✭✭✭

Join Date: March 2011

Posts: 8262

Say if you have V1 |= x=y it would mean that the equation x=y is true for the valuation V1. With the / across the = it means that it's not true for the valuation V1. V is the set of values to be substituted into the equation. e.g. V = {x,y} and each V has one unique value for each variable.

0
#5 02-01-2014 2:11pm

bnt

Registered Users, Registered Users 2 Posts: 13,073 ✭✭✭✭

Join Date: April 2008

Posts: 12746

Is it one of the symbols here?

e.g. "x ⊨ y means x semantically entails y"

You are the type of what the age is searching for, and what it is afraid it has found. I am so glad that you have never done anything, never carved a statue, or painted a picture, or produced anything outside of yourself! Life has been your art. You have set yourself to music. Your days are your sonnets.
―Oscar Wilde predicting Social Media, in The Picture of Dorian Gray

0
#6 02-01-2014 2:46pm

GarIT

Registered Users, Registered Users 2 Posts: 8,671 ✭✭✭

Join Date: March 2011

Posts: 8262

bnt wrote: »

Is it one of the symbols here?

e.g. "x ⊨ y means x semantically entails y"

Yeah, that's it.

0
Advertisement