Hi,
I have just read a book about Deontic Logic an I understand it not in all.
It is a question of how you can talk about moral judgements  in the light
of empiric facts.
I translate it, most I can, in English:
Vp: It ist forbid, that p
Ep: It ist allowed, that p
Op: It is required, that p
Vp imp O (->p), Ep imp.->Vp imp.->O(->p);
Op v Oq imp O(pvq)
But it's false to say:
O(pvq) imp Op v Oq
Why is it so ?
PS: Sorry because of my really bad English. In the german Philosophy-    Echo 
I get no answers about it
Also bis denne,
ciao ...
--- 
---------------