iloveschoolsomuchits iloveschoolsomuchits 12-11-2021 Mathematics contestada proof: A v B, ~A |= B v C