Čo sú kvantifikované výroky a ako s nimi pracovať?
Existujú štyri prípady, ktoré sa riešia trochu iným spôsobom, ako tu bolo vysvetlené doteraz. Týka sa to predovšetkým negácie tých výrokov, ktoré obsahujú jedno z nasledujúcich slovných spojení:
Ak budeš mať výrok, ktorý bude obsahovať jedno z vyššie uvedených spojení, musíš pri jeho negácii postupovať špeciálnym spôsobom.
Všetko sa dá zapísať prehľadne do tabuľky nižšie. V prvom stĺpčeku je slovné spojenie, ktoré sa nachádza vo výroku, ktorý máš negovať. V druhom stĺpčeku potom slovné spojenie, ktoré dáš do zadania výroku namiesto pôvodného spojenia. Napríklad negácia výroku \( p \) „Každý rezeň je bravčový“ bude vyzerať takto: \( \neg p \) „Aspoň jeden rezeň nie je bravčový." Viac o tom, ako tieto výroky negovať, nájdeš nižšie v príklade 5.
Je dôležité si tieto vzťahy zapamätať, pretože pri negácii výrokov s takýmito spojeniami ich budeš potrebovať. Samozrejme slovné spojenia v stĺpci v tabuľke fungujú aj opačne. To znamená, že ak budeš negovať výrok so spojením „Žiadny ... nie je ...", použiješ spojenie "Aspoň jeden ... je ...".
Sloveso byť (v tabuľke vyššie v tvare „je/nie je“) môžeš, samozrejme, nahradiť aj inými slovesami napr. „Najviac traja študenti majú notebook.", „Každý desiaty človek býva v Bratislave." atď".