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.