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

Odpovědi

1. 

Jak značíme existenční kvantifikátor?

2. 

Jak nazýváme kvantifikátor ?

Existenční kvantifikátor.

3. 

Jak čteme zápis ?

Existuje alespoň jedno  ...

4. 

Co znamená zápis ?

Existuje alespoň jedno  z množiny , pro které platí vlastnost .

5. 

Jak značíme obecný kvantifikátor?

6. 

Jak nazýváme kvantifikátor ?

Obecný kvantifikátor

7. 

Jak čteme zápis ?

Pro všechna  ...

Pro každé  ...

8. 

Co znamená zápis ?

Pro všechna (pro každé)  z množiny  platí vlastnost .

 

 

Č.

Úkoly

Řešení úkolů

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.

Pro všechny studenty Dopravní fakulty Jana Pernera Univerzity Pardubice platí, že nemají 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.

Existuje alespoň jeden student Dopravní fakulty Jana Pernera Univerzity Pardubice, který není ubytován na kolejích Univerzity Pardubice.

7. 

Proveďte negaci výrokové formy: pro všechna reálná čísla  můžeme vypočítat hodnotu funkce .

Existuje alespoň jedno reálné číslo , pro které nemůž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.

Existuje alespoň jeden student zapsaný na předmět Matematika 1, který nesloží 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.

Všichni studenti Univerzity Pardubice chodí na obědy do menzy.