Negácia výroku

Negácia výroku tvrdí presný opak: keď je výrok pravdivý, jeho negácia je nepravdivá, a naopak. Negáciou výroku „Každé prvočíslo je nepárne.“ nie je „Žiadne prvočíslo nie je nepárne.“, ale „Existuje prvočíslo, ktoré nie je nepárne.“

Čo tento generátor robí?

Ukáže výrok a štyri možnosti, z ktorých je negáciou práve jedna. V ľahkej úrovni negujeme nerovnosti a výroky s „každé“ a „existuje“, v strednej konjunkciu, disjunkciu a implikáciu, v ťažkej aj výroky s „aspoň“ a „najviac“.

Ako ho používať

1) Zisti, akého typu je výrok — nerovnosť, spojka, alebo kvantifikátor. 2) Použi pravidlo: „a“ sa zmení na „alebo“, „každé“ na „existuje … nie“, „aspoň k“ na „najviac k − 1“. 3) Skontroluj, že výrok a vybraná možnosť nemôžu platiť naraz.