Если же есть хотя бы один пример набора значений переменных, приводящих к противоречию, то это говорит о его противоречивости.
Что такое "противоречивая КНФ"?
Каждая КНФ задает булеву функцию. Эта булева функция может быть: тождественным нулем (

при всех значениях переменных), тождественной единицой (

при всех значениях переменных) и ни тем ни тем (при каких-то значениях переменной

, при каких-то

). Задача 3SAT: существует ли набор значений, на которых функция, заданная данной 3-КНФ, равна

? (или, что то же самое, является ли функция, заданная данной 3-КНФ, тождественным нулем, или нет)
Как видите, слово "противоречивость" нигде в формулировке не используется. Если вы хотите о ней рассуждать - нужно сначала определить, что оно значит.