Čo je to kvantifikátor?
Otázka: Čo je to kvantifikátor?
Odpoveď: Kvantifikátor je spôsob, ako vyjadriť, že určitý počet prvkov spĺňa určité kritériá.
Otázka: Aký je príklad kvantifikovaného výrazu?
Odpoveď: Príkladom kvantifikovaného výrazu je "každé prirodzené číslo má iné prirodzené číslo väčšie ako ono".
Otázka: Prečo sú kvantifikátory a kvantifikované výrazy užitočné?
Odpoveď: Kvantifikátory a kvantifikované výrazy sú užitočné, pretože umožňujú rigoróznym výrokom tvrdiť, aké rozšírené je nejaké kritérium.
Otázka: Aké dva základné druhy kvantifikátorov sa používajú v predikátovej logike?
Odpoveď: Dva základné druhy kvantifikátorov používaných v predikátovej logike sú univerzálne a existenčné kvantifikátory.
Otázka: Čo uvádza univerzálny kvantifikátor?
Odpoveď: Univerzálny kvantifikátor hovorí, že všetky uvažované prvky spĺňajú kritériá.
Otázka: Aký je symbol pre univerzálny kvantifikátor?
Odpoveď: Symbol pre univerzálny kvantifikátor je "∀", prevrátené "A", ktoré znamená "všetky".
Otázka: Čo uvádza kvantifikátor existencie?
Odpoveď: Existenčný kvantifikátor konštatuje, že aspoň jeden uvažovaný prvok vyhovuje kritériám.
Otázka: Aký je symbol pre existenčný kvantifikátor?
Odpoveď: Symbol pre existenčný kvantifikátor je "∃", teda spätné "E", ktoré znamená "existuje".