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
breaker: a quarry worker who splits off blocks of stone