न्यायवाक्य दो आधार वाक्यों और एक निष्कर्ष पर आधारित निगमनात्मक तर्क का एक रूप है। अरस्तू ने न्यायवाक्य को तर्कशास्त्र की मूल इकाई के रूप में विकसित किया। सबसे प्रसिद्ध उदाहरण: सभी मनुष्य नश्वर हैं। सुकरात एक मनुष्य है। इसलिए, सुकरात नश्वर है। पहला आधार वाक्य मुख्य आधार वाक्य है, दूसरा गौण आधार वाक्य है और तीसरा निष्कर्ष है। यदि आधार वाक्य सत्य हैं और संरचना वैध है, तो निष्कर्ष भी सत्य होना चाहिए। न्यायवाक्य तर्कों की वैधता की जाँच करने का एक साधन है। संरचना को पहचानकर, आप यह देख सकते हैं कि निष्कर्ष उससे निकलता है या नहीं।

अरस्तू ने कई मान्य न्यायवाक्य रूपों की पहचान की, जिन्हें आकृतियाँ और मनोदशाएँ कहा जाता है। सबसे आम आकृति पहली आकृति है, जहाँ मध्य पद मुख्य और गौण आधार वाक्यों को जोड़ता है। मध्ययुगीन तर्कशास्त्रियों ने छात्रों को इन्हें याद रखने में मदद करने के लिए बारबरा और सेलारेंट जैसे स्मरणीय नाम दिए। न्यायवाक्य दो हज़ार वर्षों से अधिक समय तक तर्कशास्त्र का केंद्र रहा। 19वीं शताब्दी में ही फ्रेगे और अन्य लोगों ने अधिक शक्तिशाली तार्किक प्रणालियाँ विकसित कीं। लेकिन न्यायवाक्य आज भी एक उपयोगी शिक्षण उपकरण और निगमनात्मक तर्क का स्पष्ट उदाहरण बना हुआ है। यह दर्शाता है कि कैसे निष्कर्ष आधार वाक्यों से निश्चितता के साथ निकाले जा सकते हैं, बशर्ते कि आकृति मान्य हो और आधार वाक्य सत्य हों।

न्यायवाक्य के भाग

• मुख्य आधार वाक्य. व्यापक कथन.
• लघु आधार वाक्य। अधिक विशिष्ट कथन।
• निष्कर्ष: निम्नलिखित कथन।
• मध्य पद। वह पद जो आधार वाक्यों को जोड़ता है।

न्यायवाक्य सामान्य तर्क के समान नहीं होता। यह दो आधार वाक्यों और एक निष्कर्ष के साथ निगमनात्मक तर्क का एक विशिष्ट रूप है।