Tertium non datur is a principle in logic that translates to 'no third option is given,' indicating that in a binary proposition, only two contradictory options exist: either one is true, or the other is true. This concept emphasizes the exclusion of any middle ground between two opposing ideas, which is fundamental to understanding how certain arguments are structured and evaluated.