(Untitled)

[georg_pik]

Нормы добровольного применния не получается описать не только с помощью двухзначной логики обязательно - запрещено, но и с помощью четырехзначной обязательно - разрешено - безразлично - запрещено.

Для разрешено отсутствует симметричный оператор, аналогичный паре обязательно - запрещено. Проблема решается использованием пятизначной логики

Comments

[max_andriyahov]

Осуждаю