logika ewa12: Niech x, y należą do zbioru wszystkich ludzi. Niech predykat P(x, y) oznacza że x jest ojcem y. Używając tego predykatu, = i kwantyfikatorów zapisz następujące zdania: (a) Każdy człowiek ma ojca

wredulus_pospolitus: ∀_y ∃_x P(x,y) czyli dla każdego 'y' istnieje taki 'x', że x jest ojcem y