非r→q得否定