विधेय तर्कशास्त्र (Predicate Logic)

विधेय तर्कशास्त्र (Predicate Logic)

तर्कशास्त्रातील एक महत्त्वाची संकल्पना. हिला ‘विधेय कलन’ असेही म्हटले जाते. तर्कशास्त्र हे मुख्यत्वेकरून युक्तिवादाशी संबंधित आहे. युक्तिवाद म्हणजे विधानांचा असा ...
संख्यापक (Quantifier)

संख्यापक (Quantifier)

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

सत्यता कोष्टक पद्धती (Truth Table Method)

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