Výroky s kvantifikátory

Kvantifikátory se schovávají i v běžných větách: „Rovnice má právě jedno řešení.“, „Nejvýše dva žáci jsou pilní.“, „Alespoň jedno celé číslo je prvočíslo.“ Negace „alespoň tří“ je „nejvýše dva“ a negace „právě jednoho“ je „žádný nebo alespoň dva“.

Co tento generátor dělá?

Ukáže výrok s kvantifikátorem — ze života nebo o rovnicích a číslech. Většinou vybíráš jeho negaci, u matematických výroků někdy rozhoduješ, zda je pravdivý. Na lehké úrovni jde o každý, existuje a žádný, na střední o alespoň a nejvýše, na těžké o právě a dva kvantifikátory najednou.

Jak ho používat

1) Najdi kvantifikátor. 2) Nahraď ho opačným: každý ↔ alespoň jeden … ne, žádný ↔ alespoň jeden, alespoň k ↔ nejvýše k − 1, právě k ↔ nejvýše k − 1 nebo alespoň k + 1. 3) Zkontroluj, že výrok a jeho negace nemohou platit zároveň.