Мова деонтичної пропозиційної логіки

Формалізація висловлювань з деонтичними модальностями здійснюється таким чином:

1) деонтичний оператор «обов’язково» позначається символом О;

2) деонтичний оператор «дозволено» — символом Р;

3) деонтичний оператор «заборонено» - символом F;

4) деонтичний оператор «байдуже» - символом І;

5) висловлювання - символами А, В, С,...

7) технічні знаки, якими є ліва та права дужки, кома: (),.

Далі будуються формули:

OA - означає «А обоє ’язково»;

-OA-«А не обоє ’язково»;

PA - «А дозволено»;

~ PA - «А не дозволено»;

FA - «А заборонено»;

-FA- «А не заборонено».

Логічні відношення між деонтичними модальностями «обов’язково», «дозволено», «заборонено» зображають за допомогою «логічного квадрата»:

Логічні відношення між висловлюваннями з модальностями «обо-

4.