4 - Negace výroku (MAT - Výroková logika)