Аналітико-таблична семантика для деонтичної пропозиційної логіки

Аналітичні правила для деонтичних операторів формулюються, виходячи із загального модального смислу:

54" class="lazyload" data-src="/files/uch_group88/uch_pgroup293/uch_uch6850/image/image054.jpg">

У правилах FO й TP, як і раніше в правилах для алетичних модальностей змінна w' - будь-який світ належного, який є досяжним із w, інакше кажучи, нове, яке не зустрічається вище формули у тій галузці, до якої воно належить.

Приклад побудови аналітичної таблиці в деонтичній пропозиційній логіці. Проаналізуємо формулу OA → PA:

Таблиця замкнена, отже, формула OA → PA є загальнозначущою в деонтичній пропозиційній логіці.

4.