Uma pessoa, durante uma conversa a respeito de trânsito, argumentou corretamente que “Se um carro está chegando a uma rotatória, então deve dar a preferência àqueles que já estão na rotatória”.
Uma afirmação logicamente equivalente a essa é a seguinte: