برای یافتن عکس نقیض گزاره شرطی \( p \implies q \) (اگر \( p \) آنگاه \( q \))، باید ابتدا مفهوم عکس و نقیض را بررسی کنیم.
1. **عکس (Converse)**: عکس گزاره شرطی \( p \implies q \) به این شکل است: \( q \implies p \) (اگر \( q \) آنگاه \( p \)).
2. **نقیض (Contrapositive)**: نقیض گزاره شرطی \( p \implies q \) به این شکل است: \( \neg q \implies \neg p \) (اگر نقیض \( q \) درست باشد، پس نقیض \( p \) هم درست است).
بنابراین، نقیض گزاره شرطی \( p \implies q \) برابر با \( \neg q \implies \neg p \) میباشد.
بنابراین، عکس نقیض گزاره شرطی \( p \implies q \) این گونه بیان میشود: n جماعت ععدل این عبارت با نقیض آن است که به این شکل است:
نقیض گزاره شرطی \( p \implies q \) همیشه ارزش صدق یکسانی با گزاره \( q \implies p \) دارد.
در نتیجه:
- عکس گزاره: \( q \implies p \)
- نقیض گزاره: \( \neg q \implies \neg p \)
پس پاسخ نهایی این است که نقیض گزاره شرطی \( p \implies q \) برابر با \( \neg q \implies \neg p \) است.