तार्किक कथन "पी का तात्पर्य क्यू" का खंडन "पी और क्यू नहीं" या प्रतीकात्मक रूप से "पी <unk> क्यू" के रूप में लिखा जाता है। यह कथन सच है जब पी सच है और क्यू झूठा है।
पी का तात्पर्य है क्यू
एक तार्किक कथन को देखते हुए, प्रस्तावनात्मक तर्क में कथन के खंडन को आउटपुट करें।