negation: (logic) a proposition that is true if and only if another proposition is false
proposition: (logic) a statement that affirms or denies something and is either true or false
space probe: a rocket-propelled guided missile that can escape the earth's atmosphere; makes observations of the solar system that cannot be made by terrestrial observation