Oración 1: 5Leibniz estableció que si existe un enunciado de identidad verdadero a es b, cualquiera de los dos términos a y b puede sustituir al otro en cualquier enunciado sin que cambie el valor de verdad de este -salva veritate-
Oración 2: lo que se conoce como el principio de sustitución de idénticos: 1) Scott es el autor de Waverley
Conector: esto es
Relación: entailment
Género: books