ब्राउज़र की तुलना में तेजी से पहुँच!
2 संबंधों: प्रतिज्ञप्ति, गणितीय तर्कशास्त्र।
प्रतिज्ञप्ति
दर्शनशास्त्र व तर्कशास्त्र में प्रतिज्ञप्ति (proposition) ऐसा वाक्य या कथन होता है जो या तो सत्य हो या फिर असत्य हो। यह आवश्यक नहीं है कि हमें यह ज्ञात हो कि प्रतिज्ञप्ति सत्य है या असत्य। उदाहरण के लिए "पृथ्वी के अलावा अन्य ग्रहों पर भी जीवन है।" यह प्रतिज्ञप्ति या तो पूर्ण रूप से सत्य है या फिर असत्य है, हालांकि हम नहीं जानते कि सत्य-असत्य के इन दो विकल्पों में से वास्तविकता कौन-सी है। "भारत को स्वतंत्रता सन् 1948 में मिली थी" भी एक प्रतिज्ञप्ति जो या तो सत्य हो सकती है या असत्य। इतिहास के अध्ययन से हमें ज्ञात है कि भारत को स्वतंत्रता वास्तव में सन् 1947 में मिली थी, इसलिए हम इस प्रतिज्ञप्ति को असत्य ठहरा सकते हैं। .
नई!!: प्रतिज्ञप्तिक कलन और प्रतिज्ञप्ति · और देखें »
गणितीय तर्कशास्त्र
गणितीय तर्कशास्त्र (Mathematical logic) गणित की शाखा है किसका संगणक विज्ञान एवं दार्शनिक तर्कशास्त्र से निकट का सम्बन्ध है। तर्कशास्त्र का गणितीय अध्ययन तथा गणित के अन्य विधाओं में तर्कशास्त्र (formal logic) के अनुप्रयोग दोनो ही इसके अंतर्गत आते हैं। प्राय: गणितीय तर्कशास्त्र को समुच्चय सिद्धान्त, मॉडल सिद्धान्त (model theory), रिकर्सन सिद्धान्त (recursion theory) तथा सिद्धि सिद्धान्त (proof theory) नामक क्षेत्रों में विभक्त किया जाता है। .
