Negace výroků

Urči, zda na levé straně je druhý výrok správnou negací prvního výroku.