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

(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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!