Proposisionele calculus, ook bekend as propositionele logika of sentensiële logika, is 'n tak van wiskundige logika wat die logiese verwantskappe tussen proposisies (stellings wat óf waar óf onwaar is) bestudeer. Dit is gemoeid met die logiese verbindings wat die konstruksie van komplekse stellings van eenvoudiger moontlik maak, soos "en," "of," "nie," en "as-dan." Propositionele berekening word in rekenaarwetenskap, kunsmatige intelligensie, filosofie en ander velde gebruik om oor die waarheid van stellings te redeneer en om logiese stelsels te ontwerp.