Dany jest zbiór z bazą wiedzy 𝑆 = {𝑝; 𝑞 ← 𝑠; 𝑠; 𝑡 ← 𝑝, 𝑠; 𝑘 ← 𝑡, 𝑞, 𝑟; 𝑟 ← 𝑡}.
Czy 𝑘 jest konsekwencją zbioru S? Odpowiedź uzasadnij. Użyj metody tabeli prawdy, łańcucha
dowodowego oraz dowodu nie wprost.
Dany jest zbiór z bazą wiedzy S
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij