Principi que afirma que els predicats coextensivos, o el * dels quals*****"epis7lwk.htm">valor de veritat sigui el mateix, poden substituir-se uns per altres.