0:00
कठिनाई: विशेषज्ञश्रेणी: तार्किक समानताप्रकार: समानता जांचक्या निम्नलिखित एक वैध inference नियम (tautology) है?
((A ∨ B) ∧ (¬B ∨ C)) → (A ∨ C)
यह स्वचालित प्रमेय सिद्धि में उपयोग किया जाने वाला resolution नियम है।
क्या निम्नलिखित एक वैध inference नियम (tautology) है?
((A ∨ B) ∧ (¬B ∨ C)) → (A ∨ C)
यह स्वचालित प्रमेय सिद्धि में उपयोग किया जाने वाला resolution नियम है।