Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/1/c/solution

A collection of logical connectives is adequate, or has functional completeness, if every Boolean function of finitely many propositional variables can be expressed by a formula using those connectives and variables, with the usual convention for nullary truth constants stated if those are included.
An adequate example is . An inadequate example is : formulas using logical implication alone preserve truth when every input is true, so cannot express negation. These examples concern truth functions, rather than mere syntactic formation of formulas.

New to topics? Read the docs here!