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