A universal negative is a type of categorical proposition that asserts that no members of a particular subject class belong to a specific predicate class. This proposition is typically expressed in the form 'No S are P', indicating a complete exclusion of the subject from the predicate. Universal negatives are essential in the study of logic as they help clarify relationships between different classes and contribute to logical reasoning.