संख्यापक (Quantifier)

संख्यापक

विधेय तर्कशास्त्रात संख्यापनाला महत्त्वाचे स्थान आहे. परिगणक, संख्यिकारक/संख्यापक यांना इंग्रजीमध्ये ‘क्वान्टिफायर’ असे म्हणतात. जेव्हा आपण एखाद्या बागेत जातो. तिथे झाडांना ...

संख्यापकीय निगमनाचे नियम

विधान तर्कशास्त्रामध्ये (Propositional logic) अनुमानाचे नियम व रूपांतरणाचे नियम यांचा वापर युक्तिवादाची वैधता सिद्ध करण्यासाठी केला जातो. मात्र विधेय तर्कशास्त्रामध्ये ...

अनुमानाचे नियम व रूपांतरणाचे नियम

ॲरिस्टॉटलने मांडलेल्या तर्कशास्त्राचा मेग्यारियन व स्टोईक पंथीयांनी विस्तार केला. परंपरागत म्हणून ओळखले जाणारे तर्कशास्त्र आशय आणि तपशील या दोन्ही बाबतींत ...
सत्यता कोष्टक पद्धती (Truth Table Method)

सत्यता कोष्टक पद्धती

एकोणिसाव्या शतकानंतर विकसित झालेले तर्कशास्त्र हे १९ व्या शतकाच्या अगोदर गोटलोप फ्रेग, जूझेप्पे पेआनो व गेऑर्ग कॉन्टोर यांचे महत्त्वाचे कार्य ...