логика объяснения

Мат. logic of explanation