Negace výroku

Negace výroku tvrdí přesný opak: když je výrok pravdivý, jeho negace je nepravdivá, a naopak. Negací výroku „Každé prvočíslo je liché.“ není „Žádné prvočíslo není liché.“, ale „Existuje prvočíslo, které není liché.“

Co tento generátor dělá?

Ukáže výrok a čtyři možnosti, z nichž je negací právě jedna. Na lehké úrovni negujeme nerovnosti a výroky s „každé“ a „existuje“, na střední konjunkci, disjunkci a implikaci, na těžké i výroky s „alespoň“ a „nejvýše“.

Jak ho používat

1) Zjisti, jakého typu je výrok — nerovnost, spojka, nebo kvantifikátor. 2) Použij pravidlo: „a“ se změní na „nebo“, „každé“ na „existuje … ne“, „alespoň k“ na „nejvýše k − 1“. 3) Zkontroluj, že výrok a vybraná možnost nemohou platit zároveň.