Rachunek zdań (ang. propositional calculus) to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu.
W klasycznym rachunku zdań przyjmuje się założenie, że każdemu zdaniu można przypisać jedną z dwu wartości logicznych – prawdę albo fałsz, które umownie przyjęto oznaczać 1 i 0. Klasyczny rachunek zdań jest więc dwuwartościowym rachunekiem zdań.
W rachunku zdań treść rozpatrywanych zdań nie ma znaczenia, istotna jest jedynie ich wartość logiczna. Wartość logiczną zdań złożonych powstałych przez zastosowanie spójników zdaniowych określa funkcja prawdy, związana z każdym spójnikiem zdaniowym. Wartość ta zależy wyłącznie od prawdziwości lub fałszywości zdań składowych, nie zależy natomiast od ich treści. Szczególną rolę w rachunku zdań odgrywają takie zdania złożone, dla których wartość logiczna jest równa 1, niezależnie od tego, jakie wartości logiczne mają zdania proste, z których się składają.
Takie zdania nazywa się prawami rachunku zdań lub tautologiami.
