結果 : predicate calculus in discrete mathematics examples