Poznámka o vztahu vyplývání v predikátové logice