Method

Functional completeness

Overview

property of a set of logical connectives which can express all possible truth tables by combining members of the set

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Functional completeness

• Charles Sanders Peirce

Related ideas

• Negation
• Truth value
• Logical conjunction
• Logical connective
• Propositional logic
• Mathematical logic
• Logical NOR
• Logical biconditional
• Truth table
• Academic Press
• Set (mathematics)
• Subset
• Sheffer stroke
• Second-order logic
• Emil Leon Post
• Singleton (mathematics)
• Boolean domain
• Boolean algebra (structure)
• Arity
• Boolean algebra
• Alfred Tarski
• Charles Sanders Peirce
• Material conditional
• Cambridge University Press

Place in the tradition

Part of Intuitionistic logic.

Explore Functional completeness in the interactive graph →