Si fuera posible tener A verdadero, B falso y "Si "A", "B"" verdadero, esta inferencia sería inválida.