valores de verdad pvr→¬r