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

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