Верны ли определения?

А) Импликацией двух высказываний называется такое высказывание а ® b, которое ложно тогда и только тогда, когда а - истинно, а b - ложно

В) Отрицанием высказывания называется такое высказывание , про которое известно, что всегда ложно