forum.zadania.info

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.