In default logic, we allow inference rules of the form

Q) In default logic, we allow inference rules of the form

    • (A : B) / C
    • A / (B : C)
    • A / B
    • A / B : C
    • (A: B) :C
...
Explanation: You can add explanation to this Question by commenting below :) Please Contribute!

If you think above Mcq is wrong then please leave us comment with correct answers!

Leave comment below, Write your comment, Reply with your comment