Luego, A no es verdad (suponiendo que estamos tratando con declaraciones concretas que solo pueden ser verdaderas o falsas (ley del tercero excluido)):