Existenční kvantifikátor
Existenční kvantifikátor je matematický symbol, který se používá v predikátové logice. Symbolem je otočené písmeno E. Dal by se přeložit jako "existuje".
Existenční kvantifikátor je matematický symbol, který se používá v predikátové logice. Symbolem je otočené písmeno E. Dal by se přeložit jako "existuje".