The relationship between two propositions that have the same truth value for every combination of truth values for their component propositions.
The relationship between two propositions that have the same truth value for every combination of truth values for their component propositions.