پاسخ:
گزاره q=>~p را عکس نقیض گزاره q=>p می نامیم.
توضیح:
در گزاره های شرطی، سه نوع تبدیل وجود دارد: عکس، نقیض و عکس نقیض.
- عکس گزاره p=>q، گزاره q=>p است.
- نقیض گزاره p=>q، گزاره ~p=>~q است.
- عکس نقیض گزاره p=>q، گزاره ~q=>~p است.
در این سوال، گزاره q=>~p عکس نقیض گزاره q=>p است.