propositional logic
propositional calculus

There are other logic systems that build on propositional logic.

This follows from the completeness of the underlying propositional logic.

It is here that what we consider "modern" propositional logic first appeared.

Rules of replacement are used in propositional logic to manipulate propositions.

This is similar to a way of axiomatizing classical propositional logic.

In the context of propositional logic, these two terms coincide.

These formulas play a role similar to tautologies in propositional logic.

However, advances in propositional logic were still made after Frege.

The methods for proving contradiction in propositional logic are the most analyzed.

In propositional logic, 0 may be used to denote the truth value false.