Univerzální kvantifikátor
Univerzální kvantifikátor je matematický symbol, který se používá v predikátové logice. Symbolem je otočené písmeno A. Dal by se přeložit jako "pro každé".
Občas se označuje jako "obecný kvantifikátor".
Univerzální kvantifikátor je matematický symbol, který se používá v predikátové logice. Symbolem je otočené písmeno A. Dal by se přeložit jako "pro každé".
Občas se označuje jako "obecný kvantifikátor".