Logic trật tự thứ nhất