Пример. Нужен тот, кто разбирается в мат логике. Там самые основы. Акиомы, модус-понус, Крипке и все дела... задачи лёгкие.