प्रतिज्ञप्तिक कलन

मुक्त ज्ञानकोश विकिपीडिया से
Jump to navigation Jump to search

प्रतिज्ञप्तिक कलन (Propositional calculus या propositional logic या sentential calculus या sentential logic) गणितीय तर्कशास्त्र की एक शाखा है जिसमें प्रतिज्ञप्तियों (propositions) का अध्ययन किया जाता है।

इन्हें भी देखें[संपादित करें]