Discrete Mathematics Logic Questions