(p v q') ⇒ (p⇒q) önermesinin değili nedir?​