Výroky s kvantifikátormi

Kvantifikátory sa schovávajú aj v bežných vetách: „Rovnica má práve jedno riešenie.“, „Najviac dvaja žiaci sú usilovní.“, „Aspoň jedno celé číslo je prvočíslo.“ Negácia „aspoň troch“ je „najviac dvaja“ a negácia „práve jedného“ je „žiadny alebo aspoň dvaja“.

Čo tento generátor robí?

Ukáže výrok s kvantifikátorom — zo života alebo o rovniciach a číslach. Väčšinou vyberáš jeho negáciu, pri matematických výrokoch niekedy rozhoduješ, či je pravdivý. Na ľahkej úrovni sú to každý, existuje a žiadny, na strednej aspoň a najviac, na ťažkej práve a dva kvantifikátory naraz.

Ako ho používať

1) Nájdi kvantifikátor. 2) Nahraď ho opačným: každý ↔ aspoň jeden … nie, žiadny ↔ aspoň jeden, aspoň k ↔ najviac k − 1, práve k ↔ najviac k − 1 alebo aspoň k + 1. 3) Skontroluj, že výrok a jeho negácia nemôžu platiť naraz.