[kurazjajami]

#matematyka #sztucznainteligencja #si

Dany jest zbiór klauzul S = (<-t ; <-p,s ; s<-p ; p,g<- ; r<-q ; t<-r). Wykorzystując rezolucję udowodnij, że zbiór S jest sprzecznością.

Mam problem z tym zadaniem. Potrafię wykazywać, że coś jest logiczną konsekwencją, ale do tyłu mi to nie wychodzi. Pomoże mi ktoś?