Propositional Logic

Propositional logic deals with statements (i.e., propositions, which can be true or false) and relations between propositions, including the construction of arguments based on them.

Synonyms: Propositional Calculus .

How it works

Compound propositions are formed by connecting propositions by logical connectives. Propositions that contain no logical connectives are called atomic propositions.

References

1. Propositional Calculus. (2022, May 31). In Wikipedia. Link