laws of logic in discrete mathematics problems