Question: (15 points) Let me , , ) be a three-place connective whose truth table is defined by v(m(A, B, C) = T if and only

(15 points) Let me , , ) be a three-place connective whose truth table is defined by v(m(A, B, C) = T if and only if v gives value T to at least two of the variable A,B,C. Prove that the set {m} is not an adequate set of connectives. Hint: Use structural induction to show that for every formula a that uses only these connectives and involves at most two variables, p, q, the truth table of a is the same as one of the truth tables of p, (p), q, (-9). (15 points) Let me , , ) be a three-place connective whose truth table is defined by v(m(A, B, C) = T if and only if v gives value T to at least two of the variable A,B,C. Prove that the set {m} is not an adequate set of connectives. Hint: Use structural induction to show that for every formula a that uses only these connectives and involves at most two variables, p, q, the truth table of a is the same as one of the truth tables of p, (p), q, (-9)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
