[h=3]عکس نقیض گزاره شرطی[/h]
عکس نقیض یک گزاره شرطی گزارهای است شرطی که مقدم و تالی آن به ترتیب عبارتند از نقیض تالی و نقیض مقدم گزاره اولیه. به عبارت دیگر عکس نقیض گزاره شرطی «اگر p آنگاه q» گزاره «اگر q~ آنگاه p~» میباشد. مثلا عکس نقیض گزاره «اگر a فرد است a+1 زوج است» گزاره «اگر a+1 زوج نیست آنگاه a فرد نیست» میباشد. باکمی دقت میتوانید متوجه شوید که عکس نقیض یک گزاره شرطی همواره با خود آن گزاره هم ارز است. این مطلب را میتوانید در جدول ارزش زیر مشاهده کنید: