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