p ve q iki önermedir. p⇒q önermesi bir gerektirme olmak üzere,
|. p'⇒q'
II. q'⇒p'
III. (q⇒p)'
önermelerinden hangileri daima bir gerektirmedir?​