Definition
Propositional Logic
Propositional logic is the study of correct reasoning with statements built from atomic propositions and truth-functional connectives.
Functional Completeness
Definition
Link to originalFunctional Completeness (Propositional Logic)
A set of logical connectives is functionally complete if every truth-functional connective can be expressed by a propositional formula that uses only connectives from .