Calculus Propositional, oo sidoo kale loo yaqaanno caqli-gal ama caqli-gal caqli-gal ah, waa laan ka mid ah caqli-gal xisaabeed oo daraaseeya xidhiidhada macquulka ah ee ka dhexeeya soo-jeedinta (hadallada run ama been ah). Waxay ka welwelsan tahay isku-xireyaasha macquulka ah ee u oggolaanaya dhismaha soo jeedinta adag ee ka fudud, sida "iyo," "ama," "maya," iyo "haddii-ka dibna." Xisaabinta soo jeedinta waxaa loo adeegsadaa cilmiga kumbuyuutarka, sirdoonka macmalka ah, falsafada, iyo qaybaha kale si loogu sababeeyo runta odhaahaha iyo in la qaabeeyo habab macquul ah.