Je elementární logika totéž co predikátová logika prvního řádu?