Přednášky        Zadání teoretických otázek a úkolů       Řešení teoretických otázek a úkolů

1.3 Kvantifikátory

Č.	Otázky
1.	Jak značíme existenční kvantifikátor?
2.	Jak nazýváme kvantifikátor ?
3.	Jak čteme zápis ?
4.	Co znamená zápis ?
5.	Jak značíme obecný kvantifikátor?
6.	Jak nazýváme kvantifikátor ?
7.	Jak čteme zápis ?
8.	Co znamená zápis ?

Č.	Úkoly
1.	S využitím kvantifikátoru a další matematické symboliky zkraťte zápis výrokové formy: existuje alespoň jedno  z množiny , pro které platí vlastnost .
2.	S využitím kvantifikátoru a další matematické symboliky zkraťte zápis výrokové formy: pro každé  z množiny  platí vlastnost .
3.	Proveďte negaci výrokové formy .
4.	Proveďte negaci výrokové formy: existuje alespoň jeden student Dopravní fakulty Jana Pernera Univerzity Pardubice, který má trvalé bydliště v Chrudimi.
5.	Proveďte negaci výrokové formy .
6.	Proveďte negaci výrokové formy: všichni studenti Dopravní fakulty Jana Pernera Univerzity Pardubice jsou ubytováni na kolejích Univerzity Pardubice.
7.	Proveďte negaci výrokové formy: pro všechna reálná čísla  můžeme vypočítat hodnotu funkce .
8.	Proveďte negaci výrokové formy: pro všechny studenty zapsané na předmět Matematika 1 platí, že úspěšně složí zkoušku z tohoto předmětu.
9.	Proveďte negaci výrokové formy: existuje alespoň jeden student Univerzity Pardubice, který nechodí na obědy do menzy.