0:00
অসুবিধা: উন্নতবিভাগ: যৌক্তিক সমতুল্যতাধরন: প্রমাণ

প্রদত্ত আশ্রয়সমূহ:

  1. P ∨ Q
  2. ¬P

প্রমাণ করো: Q

P ∨ Q, ¬P ⊢ Q

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

ধাপে ধাপে আপনার প্রমাণ তৈরি করুন

1.
P ∨ Q
পূর্বানুমান
2.
¬P
পূর্বানুমান