En resumen, "si "P" y "Q no pueden ser verdad simultáneamente, y "P" es verdad, entonces "Q" no puede ser verdad.""