Negace jednoduchých, složených a kvantifikovaných výroků.

Negujte: Všichni studenti naší školy mají mobilní telefon.

• Aspoň jeden student naší školy nemá mobilní telefon.

• Někteří studenti naší školy nemají mobilní telefon.

• Žádný student naší školy nemá mobilní telefon.

• Ani jeden student naší školy nemá mobilní telefon.

Answer explanation

Negací obecného výroku je existenční výrok.

Negujte: Jsem v Praze.

• Jeď pryč z Prahy!

• Nejsem v Praze?

• Nejsem v Praze.

• Jsem v Brně.

Answer explanation

Výrok a jeho negace musí dohromady pokrývat všechny možné alternativy.

Negace výroku je také výrok, a proto to musí být oznamovací věta.

Existuje alespoň jeden student naší školy, který má jedničku z matematiky.

• Existuje alespoň jeden student naší školy, který nemá jedničku z matematiky.

• Všichni studenti naší školy mají jedničku z matematiky.

• Všichni studenti naší školy mají pětku z matematiky.

• Žádný student naší školy nemá jedničku z matematiky.

Answer explanation

Negací existenčního výroku je obecný výrok.

Negujte: Kurzu micro:bitu se účastní maximálně 10 žáků.

• Kurzu micro:bitu se účastní minimálně 10 žáků.

• Kurzu micro:bitu se účastní minimálně 11 žáků.

• Alespoň 10 žáků chodí do jiného kroužku, než je kroužek micro:bitu.

• Kurzu micro:bitu se účastní jiný počet než 10 žáků.

Answer explanation

Výrok a jeho negace musí dohromady pokrývat všechny možné alternativy.

Negujte: Jsem veselý a šťastný.

• Nejsem ani veselý ani šťastný.

• Jsem smutný nebo šťastný.

• Jsem veselý nebo nešťastný.

• Nejsem veselý nebo nejsem šťastný.

Answer explanation

Konjunkci negujeme tak, že oba dílčí výroky znegujeme a spojíme spojkou nebo.

Negujte: Každý student naší školy má minimálně 15 let.

• Existuje alespoň jeden student naší školy, který má méně než 15 let.

• Neexistuje žádný student naší školy, který má méně než 15 let.

• Všichni studenti naší školy mají nejméně 16 let.

• Aspoň jeden student naší školy má 16 let.

Answer explanation

Negací obecného výroku je existenční výrok.

Negujte: Jestliže mám jedničku z matematiky, pak se mi podaří dostat se na vysokou školu.

• Pokud mám jedničku z matematiky, tak se mi nepodaří dostat se na vysokou školu.

• Jestliže mám jedničku z matematiky, pak se mi nepodaří dostat se na vysokou školu.

• Nemám jedničku z matematiky a podaří se mi dostat na vysokou školu.

• Mám jedničku z matematiky a nepodaří se mi dostat na vysokou školu.

Answer explanation

Negace implikace je konjunkce předpokladu a negace závěru.

Negujte: Vždy jsme psali písemku, právě když jsem byl nemocný.

• Aspoň jednou jsme nepsali písemku, právě když jsem byl nemocný.

• Aspoň jednou jsme nepsali písemku, právě když jsem nebyl nemocný.

• Vždy jsme nepsali písemku, právě když jsem byl nemocný.

• Vždy jsme psali písemku, právě když jsem nebyl nemocný.

Answer explanation

Negace obecného výroku je existenční výrok.

Negaci ekvivalence udělám tak, že neguji právě jeden z obou dílčích výroků.

Negujte: Večer budu hrát na počítači nebo se budu učit.

• Večer nebudu hrát na počítači nebo se budu učit.

• Večer budu hrát na počítači nebo se nebudu učit.

• Večer nebudu hrát na počítači nebo se nebudu učit.

• Večer nebudu hrát na počítači a nebudu se učit.

Answer explanation

Negace disjunkce je konjunkce negací obou dílčích výroků.

Negujte: "Dnes je úterý" je pravdivý výrok.

• "Dnes je úterý" není pravdivý výrok.

• Ano.

• Ne, není to pravdivý výrok.

• Dnes je jiný den než úterý.