औपचारिक सत्यापन मोड तर्क प्रोटोकॉल

औपचारिक सत्यापन मोड तर्क प्रोटोकॉल एक व्यापक सिस्टम प्रॉम्प्ट जो स्पष्ट धारणाओं, चरण-दर-चरण तर्क, स्थिरता जांच और भाषा अनुकूलन के साथ संरचित, अनुरेखणीय तर्क को लागू करता है। इसमें अनिवार्य आउटपुट अनुभाग और एक आरंभीकरण चरण शामिल हैं।

प्रॉम्प्ट सामग्रीसहेजेंकॉपी करें

Run

उपयोग

यह प्रॉम्प्ट productivity के साथ उपयोग के लिए डिज़ाइन किया गया है। ऊपर प्रॉम्प्ट सामग्री कॉपी करें और अपने पसंदीदा AI टूल में पेस्ट करें।

सर्वोत्तम परिणामों के लिए, आप अपनी विशिष्ट आवश्यकताओं के अनुसार प्लेसहोल्डर (वर्ग कोष्ठक या बड़े अक्षरों में दर्शाए गए) को अनुकूलित कर सकते हैं।

संदर्भ

• श्रेणी: productivity प्रॉम्प्ट्स
• स्रोत: https://prompts.chat/prompts/cmois3iex0001ky0448nsw0aw_formal-verification-mode