Rövid szöveges bemutatás:
Az ítéletkalkulus vagy ítéletlogika egy filozófiából kifejlődött matematikai leíró logika. Alapja a világról és környezetről tett állítások, melyek később további műveletek segítségével finomíthatóak átformálhatóak. Több logikai műveltet is tartalmaz, egy és több operandusú műveleteket egyaránt. Ezeknek a transzformációknak a segítségével bizonyításokat hajthatunk végre. Azaz az ismert állításokból új állításokat kaphatunk. Ennek megvannak a matematikailag precíz módszere (rezolúció, inverz rezolúció, stb...). További információt a kialakulásáról és a használatáról a mellékelt weboldalon talál.