Esto significa que la regla de introducción de identidad no justificaráa =b ni ninguna otra reivindicación de identidad que contenga dos constantes diferentes. Para una oraciónA ...Esto significa que la regla de introducción de identidad no justificaráa =b ni ninguna otra reivindicación de identidad que contenga dos constantes diferentes. Para una oraciónA y constantesc yd,d esAc una oración producida reemplazando algunas o todas las instancias dec inA cond o reemplazando instancias ded conc.
