1. The conjunction of any proposition and its negation,
2. In truth-functional propositional logic, the negation of any tautology, hence any proposition that is false in every row of its truth table or in every interpretation.
[Glossary of First-Order Logic]
Try this search on OneLook / Google