तर्कशास्त्र में विरोध-वर्ग (Square of Opposition) एक महत्वपूर्ण सिद्धांत है, जिसके माध्यम से विभिन्न प्रकार के वाक्यों के बीच संबंधों को स्पष्ट किया जाता है। यह सिद्धांत मुख्यतः अरस्तू के तर्कशास्त्र पर आधारित है और वर्गात्मक प्रतिज्ञप्तियों (Categorical Propositions) के पारस्परिक संबंधों को समझाने के लिए विकसित किया गया है। विरोध-वर्ग चार प्रकार की प्रतिज्ञप्तियों के बीच संबंध स्थापित करता है और बताता है कि किस प्रकार एक प्रतिज्ञप्ति का सत्य या असत्य होना दूसरी प्रतिज्ञप्ति को प्रभावित करता है। विरोध-वर्ग में चार प्रकार की मानक प्रतिज्ञप्तियाँ होती हैं, जिन्हें परंपरागत रूप से A, E, I और O से निरूपित किया जाता है। A प्रकार की प्रतिज्ञप्ति सार्वत्रिक सकारात्मक होती है, जैसे “सभी मनुष्य नश्वर हैं।” E प्रकार की प्रतिज्ञप्ति सार्वत्रिक नकारात्मक होती है, जैसे “कोई मनुष्य अमर नहीं है।” I प्रकार की प्रतिज्ञप्ति विशेष सकारात्मक होती है, जैसे “कुछ मनुष्य विद्वान हैं।” O प्रकार की प्रतिज्ञप्ति विशेष नकारात्मक होती है, जैसे “कुछ मनुष्य विद्वान नहीं हैं।” इन चारों प्रतिज्ञप्तियों को एक वर्ग के चार कोनों पर दर्शाया जाता है, जिससे इनके पारस्परिक संबंधों को समझना सरल हो जाता