p => q¹ önermesinin degili nedir​