Definition
Let be a set of connectives. We say is adequate (for propositional logic) if and only if for every truth table, there is a formula using only the connectives from that has that truth table.
Let C be a set of connectives. We say C is adequate (for propositional logic) if and only if for every truth table, there is a formula using only the connectives from C that has that truth table.