Introducción Una proposición es lógicamente necesaria si representa una ley de la lógica o puede hacerse que ejemplifique una ley de la lógica mediante la sustitución de términos equivalentes por definición. Ejemplos de ello son: “Está lloviendo ahora o no está lloviendo ahora” y “Todos los hombres son seres humanos” (asumiendo que “hombres” puede ser reemplazado por “seres humanos masculinos”).