Usunięcie initially
Przyklad 5 zmiana na pytanie czy podany cel jest osiągalny
usunięcie initially i always z opisu domeny i semantyki
nie wiem dlaczego mi to wrzucilo w commita ;)
Poprawione przykłady 1 i 2.
Poprawa obserwacji przykład 3 i 4
T inf added
T inf added
Merge branch 'docs' of https://github.com/robrtj/knowledgerepresentation into docs

Conflicts:
	docs/5-Przyklady.pdf
	docs/5-Przyklady.tex
\neg -> !
Merge branch 'docs' of https://github.com/robrtj/knowledgerepresentation into docs
dodany opis operatorów logicznych i formuł
Merge branch 'ryciukw' into docs

Conflicts:
	docs/2-OpisAkcje.pdf
	docs/DokumentacjaWstepna.pdf
add T-inf to query description