Как применение логических связок 'неверно, что' сказывается на истинности высказываний?

Применение логических связок «неверно, что» сказывается на истинности высказываний следующим образом: если исходное высказывание было истинно, то после инверсии (логического отрицания) оно становится ложным, а если исходное высказывание было ложным, то после операции инверсии оно становится истинным. videouroki.net

Например, если высказывание «Я знаю английский язык» ложно, то новое высказывание «Неверно, что я знаю английский язык» будет истинным, а если «Я знаю английский язык» истинно, то новое высказывание после инверсии будет ложным. videouroki.net

Таким образом, правило можно сформулировать так: если высказывание истинно, то отрицание ложно, а если высказывание ложно, то отрицание истинно. nsportal.ru