Dany jest zbiór z bazą wiedzy S

Pytania o rozwiązania zadań.
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
milek56
Witam na forum
Witam na forum
Posty: 6
Rejestracja: 14 sty 2024, 15:09
Podziękowania: 2 razy

Dany jest zbiór z bazą wiedzy S

Post autor: milek56 »

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.