خیر. به منظور سهولت، برای اثبات برخی از گزاره های شرطی می توان عکس نقیض آن ها را اثبات نمود.