0:00
অসুবিধা: মধ্যবর্তীবিভাগ: যৌক্তিক সমতুল্যতাধরন: প্রমাণপ্রদত্ত প্রাঙ্গিকগুলি:
- P → Q
- ¬Q
প্রমাণ করুন: ¬P
P → Q, ¬Q ⊢ ¬Pলক্ষ্য: ? প্রমাণ করুন
ধাপে ধাপে আপনার প্রমাণ তৈরি করুন
1.
P → Q
পূর্বানুমান
2.
¬Q
পূর্বানুমান
প্রদত্ত প্রাঙ্গিকগুলি:
প্রমাণ করুন: ¬P
P → Q, ¬Q ⊢ ¬Pধাপে ধাপে আপনার প্রমাণ তৈরি করুন