Negácie kvantifikovaných výrokov
K tejto téme sú dostupné aj Neriešené príklady a Test
Negáciu kvantifikovaného výroku častejšie formulujeme tak, že zmeníme kvantifikátor:
| Výrok | Negácia výroku |
| „Pre každý … platí, že je …“ | „Existuje … , ktorý nie je …“ |
| „Existuje …, ktorý je …“ | „Pre každý … platí, že nie je …“ alebo „Žiadny … nie je …“ |
- Príklad 1:
- F: „Existuje lichobežník, ktorý je rovnoramenný.“
- F´: „Žiaden lichobežník nie je rovnoramenný.“
- G: „Pre každý zlomok platí, že sa dá zjednodušiť. “
- G´: „Existuje aspoň jeden zlomok, ktorý sa nedá zjednodušiť.“
Negácia výrokov s údajom o počte
| Výrok | Negácia výroku |
| A: Bude nás najviac 10.“ | A´: „Bude nás apoň 11.“ |
| B: Spadnú aspoň 3 jablká.“ | B´: „Spadnú najviac 2 jablká.“ |
| C: Vykvitlo práve 6 kvetov.“ | C´: „Vykvitlo najviac 5 kvetov alebo vykvitlo aspoň 7.“ |
| D: Práve jeden študent neprišiel.“ | D´: „Neprišiel nikto alebo aspoň 2 prišli.“ |
| E: „Nebol podaný žiadny protest.“ | E´: „Aspoň jeden protest bol podaný.“ |