On a logical problem

Abstract
No abstract available