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

 

definice.gif

 

 

 

1.3 Kvantifikátory

 

Existenční kvantifikátor

              existuje alespoň jedno , které mé vlastnost

 

Obecný kvantifikátor

             pro všechna (pro každé)  platí vlastnost

 

Negace výrokových forem s existenčním a obecným kvantifikátorem

             se nahradí    se nahradí

             se nahradí    se nahradí