Eine solche Form der Prädikatenlogik ist zwar verbreitet, eine, bei der nicht die Existenz eines Objekts gefordert wird, ist aber auch nicht völlig unüblich. Hängt auch davon ab, in welcher Richtung der Logik man unterwegs ist. -- Chricho 14:14, 14. Jan. 2014 (CET)