तर्कस्य स्वरुपम् अस्ति-

व्यापकारोपेण व्याप्यारोपः

समव्याप्त्यारोपेण विषमव्याप्त्यारोपः

विशेषणारोपेण विशेप्यारोपः