La contrarrecíproca ¬q→¬p de una implicación p→q tiene la misma tabla de verdad que p→q.