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
ground stroke: a tennis return made by hitting the ball after it has bounced once