Hi,
I have a question regarding the counterexamples that we should give in 1.d) - is it sufficient to provide counterexamples in terms of codes that show that if K1>=1/2 and K2<1/2 propositions A and B, respectively, are not always true, or should we construct some sort of proof by contradiction, starting from K1>=1/2 and K2<1/2?
Thanks in advance.