n (uncountable|logic) The relationship between two propositions that are either both true or both false.