0:00
মধ্যবর্তীযৌক্তিক সমতুল্যতাড্র্যাগ এবং ড্রপ প্রমাণ
প্রদত্ত premise থেকে R প্রমাণ করার জন্য নিম্নলিখিত ধাপগুলি সঠিক ক্রমে সাজান।
লক্ষ্য: R প্রমাণ করুন
P ∨ Q, ¬P, Q → R ⊢ Rউপলব্ধ পদক্ষেপ
P ∨ Qপূর্বানুমান
¬Pপূর্বানুমান
Q → Rপূর্বানুমান
Qবিচ্ছেদী ন্যায়বাক্য (1, 2)
Rমোডাস পোনেন্স (3, 4)
লক্ষ্য: R প্রমাণ করুন
আপনার প্রমাণ তৈরি করতে এখানে পদক্ষেপ টেনে আনুন