, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
, ɛ la- paʁtˈi de- matematˈik ki sɛ̃teʁˈɛs a yn apʁˈɔʃ alʒebʁˈik də- la- loʒˈik, vˈy ɑ̃ tˈɛʁm də- vaʁjˈabl, dopeʁatˈœʁz e də- fɔ̃ksjˈɔ̃ syʁ le- vaʁjˈabl loʒˈik, sə- ki pɛʁmˈɛ dytilizˈe de- tɛknˈikz alʒebʁˈik puʁ tʁɛtˈe le-z ɛkspʁɛsjˈɔ̃z a dˈø valˈœʁ dy- kalkˈyl de- pʁopozisjˈɔ̃.