Consider the statement(oid) = ڶNO ONE DOES KNOW N IS TRUE [1] THEN ~ = ڶSOME DO KNOW N IS TRUE [2] , WHERE N is any statement Let = ڦSOME DO KNOW N IS TRUE [3] THEN ~ = ڦNO ONE DOES KNOW N IS TRUE.[4] FROM THE RIGHT HAND SIDES OF [1] AND [4] ڶ =~ڦ ~ ڦڦڦ=ڶ SAY EQ 6s 5,6 Now let N = ڶIN EQ [1] AND N = ڦIN EQ [3] THIS DO IMPLY THAT N = ~N. SIMILARLY FROM [2] AND [4] ~N = N THIS DOES PROVE THAT IF = ڶNO ONE DOES KNOW N IS TRUE THEN = ڶ/= NO ONE DOES KNOW N IS TRUE SINCE LAWS OF CONTRADICTION AND NON CONTRDICTION BOTH ARE VIOLATED. LAW OF CONTRADICTION ‘ IT IS ABSURD THAT BOTH A AND NOT A ARE TRUE. IJTIMA UN NAQIDAIN. LAW OF NON CONTRADICTION “ IF A IS TRUE THEN NOT A IS FALSE AND IF NOT A IS TRUE THEN A IS FALSE”