0:00
উন্নতযৌক্তিক সমতুল্যতাড্র্যাগ এবং ড্রপ প্রমাণ
প্রদত্ত premise গুলি থেকে ¬P প্রমাণ করার জন্য নিম্নলিখিত ধাপগুলি সঠিক ক্রমে সাজান।
উপলব্ধ ধাপসমূহ:
- Q → R (Premise)
- ¬R (Premise)
- ¬Q (Modus Tollens on 1, 2)
- P → Q (Premise)
- ¬P (Modus Tollens on 4, 5)
লক্ষ্য: ¬P প্রমাণ করুন
P → Q, Q → R, ¬R ⊢ ¬Pউপলব্ধ পদক্ষেপ
প্রমাণে সব পদক্ষেপ ব্যবহৃত
লক্ষ্য: Q প্রমাণ করুন
আপনার প্রমাণ তৈরি করতে এখানে পদক্ষেপ টেনে আনুন