Без названия
georg-pik — 23.11.2024 Нормы добровольного применния не получается описать не только с помощью двухзначной логики обязательно - запрещено, но и с помощью четырехзначной обязательно - разрешено - безразлично - запрещено.Для разрешено отсутствует симметричный оператор, аналогичный паре обязательно - запрещено. Проблема решается использованием пятизначной логики обязательно - разрешено - безразлично - порицаемо - запрещено.
Отсутствие пожарной сигнализации в здании вовсе не запрещено. Оно порицаемо.
|
</> |