Q252
In default logic, which of the following inference rules of the form is allowed?
A.
(A : B) / C
AnswerB.
A / (B : C)
C.
A / B
D.
A / B : C
Answer: Option A
Solution
Answer: Option A
No explanation is given for this question Let's Discuss on Board