Matematyka dyskretna Ola: Mam problem z kilkoma zadaniami, a kolokwium tuż tuż. Pomóżcie: 1. 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? 2.Korzystając z zasady rezolucji odpowiedz na pytanie: Każdy ptak fruwa. Pingwin jest ptakiem Czy pingwin fruwa?

Ola: prosze, pomóżcie