Отрицание следования \(P \Rightarrow Q\) записывается \(P \not\Rightarrow Q\). Опровергнуть следование можно только контрпримером, где условие \(P\) истинно, а заключение \(Q\) ложно — пример с ложным условием не относится к делу.