Пропозициональное исчисление — это раздел формальной логики, изучающий высказывания, которые являются истинными или ложными, и логические связки, объединяющие их. Оно не рассуждает об объектах, предикатах или кванторах, но предоставляет базовую рамку логического вывода, используемую в компьютерных науках и ИИ.
(Also propositional logic, statement logic, sentential calculus, sentential logic, and zeroth-order logic.) A branch of logic which deals with propositions (which can be true or false) and argument flow. Compound propositions are formed by connecting propositions by logical connectives. The propositions without logical connectives are called atomic propositions. Unlike first-order logic, propositional logic does not deal with non-logical objects, predicates about them, or quantifiers. However, all the machinery of propositional logic is included in first-order logic and higher-order logics. In