結果 : what is formal logic in discrete mathematics