Describir: Logika prvého rádu /