0:00
মধ্যবর্তীযৌক্তিক সমতুল্যতাড্র্যাগ এবং ড্রপ প্রমাণ

প্রদত্ত premises থেকে S প্রমাণ করার জন্য নিচের ধাপগুলো সঠিক ক্রমে সাজান।

লক্ষ্য: S প্রমাণ করুন

P → Q, Q → R, R → S, P ⊢ S

উপলব্ধ পদক্ষেপ

P → Qপূর্বানুমান
Q → Rপূর্বানুমান
R → Sপূর্বানুমান
Pপূর্বানুমান
Qমোডাস পোনেন্স (1, 4)
Rমোডাস পোনেন্স (2, 5)
Sমোডাস পোনেন্স (3, 6)

লক্ষ্য: S প্রমাণ করুন

আপনার প্রমাণ তৈরি করতে এখানে পদক্ষেপ টেনে আনুন