(matematika) Az ítéletkalkulus formalizált ítéletekkel, azaz logikai formulákkal kapcsolatos témakörökkel foglalkozik. Egy logikai formulán az alábbi lépések véges sokszori alkalmazásával kapott kifejezéseket értjük: 1. Minden ítéletváltozó egyben logikai formula is. 2. Ha F és G logikai formula, akkor az kifejezések is logikai formulák.