結果 : what is first order logic in discrete mathematics