निम्नलिखित में से कौन-सा कथन 'कोई भी बिल्ली गैर-बिल्ली-वर्गीय नहीं है' कथन के तार्किक रूप से तुल्य है?

समतुल्य कथन 'सभी बिल्लियाँ बिल्ली-वर्गीय हैं' है, जो प्रत्यावर्तन (obversion) से मिलता है।

दिया गया तर्कवाक्य E है: कोई भी बिल्ली गैर-बिल्ली-वर्गीय नहीं है।

E का प्रत्यावर्तन उसे A में बदलता है और विधेय को उसके पूरक से प्रतिस्थापित करता है।

'गैर-बिल्ली-वर्गीय' का पूरक 'बिल्ली-वर्गीय' है।

इससे 'सभी बिल्लियाँ बिल्ली-वर्गीय हैं' मिलता है, जो मूल के तार्किक रूप से तुल्य है।