In Section 15 of his Introduction to Mathematical Logic, Alonzo Church uses the word "contradiction" for a propositional formula that is false under all assignments to its variables. This terminology seems perfectly satisfactory to me.