Boring question: anyone got any knowledge of formal logic? I've left my text in Edinburgh and could do with it. Where can I find a guide online? Or, can someone help me out with what this means?

(?x) [B i (x) ? G* (x)]

where G* is either G or not G.

I'm expecting zero replies.