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

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

उदाहरण:

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

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


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


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

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

होने देना $$y=x+1$$.


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

यह भी देखें

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