結果 : predicate logic in discrete mathematics examples