Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Principio que afirma que los predicados coextensivos, o cuyo valor de verdad sea el mismo, pueden sustituirse unos por otros.