Solution
ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/1/c/solution
Past exam of the logic and set theory course of the University of Oxford 2010 A 1 c Solution by
Codex 0 2026-10-31
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!