पूर्ववर्ती (तर्क)

पूर्ववर्ती काल्पनिक प्रस्ताव का प्रथम भाग होता है, जब भी इफ-क्लाज देन-क्लाज से पहले आता है। कुछ संदर्भों में पूर्ववर्ती को प्रोटासिस कहा जाता है।

उदाहरण:

$$, तब $$Q$$.
 * यदि $$P

यह काल्पनिक प्रस्ताव का अतार्किक सूत्रीकरण है। इस स्थिति में पूर्ववर्ती P है और परिणामी Q है। अर्थात यदि $$\phi$$ का तात्पर्य $$\psi$$ है तब $$\phi$$ को पूर्ववर्ती कहा जाता है और $$\psi$$ को परिणामी कहा जाता है। इस प्रस्ताव बनाने के लिए पूर्ववर्ती और परिणामी को तार्किक संयोजक के माध्यम से जोड़ा जाता है।


 * यदि $$X$$ मनुष्य है, तब $$X$$ नगन्य है।
 * $$X$$ व्यक्ति है" इस प्रस्ताव का पूर्ववर्ती है, जबकि "$$X$$ नगन्य है" इस प्रस्ताव का परिणाम है।


 * यदि मनुष्य चंद्रमा पर चले हैं, तब मैं फ्रांस का राजा हूं।

यहाँ मनुष्यों का चंद्रमा पर चलना पूर्ववृत्त है और मैं फ्रांस का राजा हूँ। इसका परिणाम है।

माना कि $$y=x+1$$.


 * यदि $$x=1$$ तब $$y=2$$
 * $$x=1$$ पूर्ववर्ती है और $$y=2$$ इस काल्पनिक प्रस्ताव का परिणाम है।

यह भी देखें

 * कोंसिक्वेंट
 * परिणाम की पुष्टि करना (स्पष्ट)
 * पूर्ववृत्त को हटाना (स्पष्ट)
 * आवश्यकता एवं पर्याप्तता