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

समतुल्य कथन 'कोई भी बिल्ली-वर्गीय घोड़ा नहीं है' है, जो सरल परिवर्तन (conversion) है।

दिया गया तर्कवाक्य सार्वत्रिक निषेधात्मक E है: कोई भी घोड़ा बिल्ली-वर्गीय नहीं है।

E तर्कवाक्य अपनी परिमाण और गुण को बनाए रखते हुए सरलतः परिवर्तित होता है।

उद्देश्य और विधेय को परस्पर बदलने पर 'कोई भी बिल्ली-वर्गीय घोड़ा नहीं है' मिलता है।

चूँकि E सममित है, दोनों तार्किक रूप से तुल्य हैं।