Přednášky Zadání teoretických otázek a úkolů Řešení teoretických otázek a úkolů
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í