नहीं, दो कथन "If p then q" और "q implies p" तार्किक रूप से समकक्ष नहीं हैं। "If p then q" तार्किक कथन "p implies q" के समान है, जिसका अर्थ है कि यदि p सत्य है, तो q सत्य होना चाहिए। दूसरी ओर, "q implies p" का अर्थ है कि यदि q सत्य है, तो p सत्य होना चाहिए। इन दो कथनों के अलग-अलग निहितार्थ हैं और इसलिए तार्किक रूप से समकक्ष नहीं हैं।
यदि p तो q q p का अर्थ है
पता लगाएं कि क्या कथन तार्किक रूप से समकक्ष हैं।