la veracidad de "B" comporta la de "A".