Исчисление пропозициональное — формальная система, базовыми элементами которой являются высказывания — нерасчлененные предложения, относительно которых в каждый данный момент можно утверждать, что они являются либо абсолютно истинными, либо абсолютно ложными. И.П. изучает связи между этими высказываниями, которые задаются логическими связками: отрицанием, дизъюнкцией, конъюнкцией, импликацией и др. И.П. является аксиоматической системой, и для классического И.П. все аксиомы являются тождественно истинными высказываниями, а правила вывода не меняют этого свойства. С помощью И.П. порождаются все тождественно истинные высказывания и только они.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]