De modo que afirmando "A", como sentencia verdadera en su contenido semántico, se exige la afirmación de "B" como sentencia verdadera en su contenido semántico.