Section 1.5: Problem 13-A Solution
Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
(Additional) The ternary connective "conditioned disjunction" (written with brackets ) is defined as follows: , which can be read " or , according as or not ," or equivalently as "if then , else ," is tautologically equivalent to . Show that is a complete set of connectives.
is tautologically equivalent to , which together with forms a complete set of connectives (page 52).
Note. A more interesting question is whether it is independent. Similar to previous exercises, we look for some properties of connectives such that the set of wffs satisfying each such property is closed under connectives, but not all connectives satisfy the property, in particular, and do not. To show that no proper subset of is complete, for each connective in the set we need to find such property that all the other connectives satisfy it, but not the given one. In other words, there should be something unique in each connective that makes the set complete. In the previous exercises we have already listed some such properties.
is the only connective that depends on more than 1 operand (see Exercise 2).
is the only connective that is not evaluated to when all operands are evaluated to .
Similarly, is the only connective that is not evaluated to when all operands are evaluated to .
So, this set of connectives is complete and independent.