Relación simétrica que se da entre dos proposiciones p y q cuando de la verdad de p se deduce necesariamente la verdad de q, y de la verdad de q se deduce necesariamente la verdad de p; es una relación de entrañamiento bilateral o simétrico