Připomeňme si:
výrok a jeho negace mají tyto dvě vlastnosti
1) platí-li výrok, pak neplatí negace, a neplatí-li výrok, pak platí negace (také bychom mohli říci, že negace výroku platí, právě když neplatí výrok)
2) musí platit aspoň jedno: výrok nebo negace výroku.
Ve třídě je 32 žáků.
1.výrok: Dnes přišlo aspoň 12 žáků pozdě.
2.výrok: Dnes nepřišlo aspoň dvanáct žáků pozdě.
Protože dnes, v důsledku dopravní kalamity, přišlo pozdě 15 žáků a tedy 17 žáků nepřišlo pozdě, je první i druhý výrok pravdivý a tedy jeden není negací druhého.
Dnes přišlo nejvýše 11 žáků pozdě" je negací prvního výroku
Úkol: Co je negací druhého výroku?
Dnes nepřišlo nejvýše dvanáct žáků pozdě.
Dnes přišlo aspoň jedenáct žáků pozdě.
Dnes nepřišlo nejvýše jedenáct žáků pozdě.