Системы K, T, S4, S5: аксиома как форма стрелок

Нина Аркадьевна Ветлугина · старший диспетчер

Устав движения писали сорок лет, и в нём три пункта про знание: «что дежурный знает, то верно», «что дежурный знает, о том он знает, что знает», «чего дежурный не знает, о том он знает, что не знает». А в разделе про обязанности юристы скопировали первый пункт: «что предписано, то исполнено». Я подозреваю, что один из этих пунктов врёт. Покажи мне, какой, и не словами, а схемой.

Ветлугина права, что просит схему. В прошлом уроке коробка читалась по-разному, смотря что считать стрелкой. Сегодня выяснится главное: каждая из фраз устава это условие на форму стрелок. Подходит фраза к знанию или к обязанности, решает не грамматика, а то, какие стрелки бывают у знания и какие у обязанности.