Przeredagowanie początku rozdziału o rezolucji zdaniowej + drobne poprawki.
Drobna poprawka do drzew semantycznych.
Poprawka do przykładu z golibrodą.
Merge pull request #9 from sapal/master

Przeredagowanie początku rozdziału o rezolucji zdaniowej + drobne poprawki.