dyskretna Witek J: Dana jest baza faktów: a, b, c oraz baza reguł: R1: a ∧ c ==> e R2: a ∧ b ==> d R3: h ∧ e ∧ d ==> f R4: f ==> g R5: g ==> h Czy g daje się wyprowadzić z ww. bazy faktów?