Импликация (X → Y) истинна во всех случаях, кроме случая, когда X истинно, а Y ложно. ¬Y - это отрицание Y. Построим таблицу истинности для X → ¬Y: