Negation of "Diane rode her bicycle 100 miles on Sunday" Let P : Diane rode her bicycle 100 miles on Sunday. The negation of P will be: _It is not the case that_ Diane rode her bicycle 100 miles on Sunday. Can the negation of P be expressed in a simpler manner?

How about: "Diane did not ride her bicycle 100 miles on Sunday."