Co jsou kvantifikované výroky a jak s nimi pracovat?
Existují čtyři případy, které se řeší trochu jiným způsobem, než který jsem ti doposud říkal. Týká se to především negace těch výroků, které obsahují jedno z následujících slovních spojení:
Pokud budeš mít výrok, který bude obsahovat jedno z výše uvedených spojení, musíš při jeho negaci postupovat speciálním způsobem.
Vše Ize zapsat přehledně do tabulky níže. V prvním sloupečku je slovní spojení, které se nachází ve výroku, jenž máš negovat. V druhém sloupečku pak slovní spojení, které dáš do zadání výroku místo původního spojení. Například negace výroku p „Každý řízek je vepřový“ bude vypadat \neg p „Alespoň jeden řízek není vepřový“, více o tom, jak tyto výroky negovat, nalezneš v příkladu 5 níže.
Je důležité si tyto vztahy zapamatovat, protože při negaci výroků s těmito spojeními budou potřeba. Samozřejmě slovní spojení ve sloupci v tabulce funguji i opačně. To znamená, že pokud budeš negovat výrok se spojením „Žádný … není …”, použiješ spojení „Alespoň jeden … je …”
Sloveso být (v tabulce výše ve tvaru „je/není”) samozřejmě můžeš nahradit i jinými slovesy, např. „Nejvýše tři studenti mají notebook“, „Každý desátý člověk bydlí v Praze“ atd.