P => (qvr') önermesinin karşıt tersi nedir ?