Přednášky Zadání teoretických otázek a úkolů Řešení teoretických otázek a úkolů
Č. |
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 |
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é) |
Č. |
Ú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 |
|
2. |
S využitím
kvantifikátoru a další matematické symboliky zkraťte zápis výrokové formy:
pro každé |
|
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 |
Existuje
alespoň jedno reálné číslo |
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. |