Update logic-basics.tex

транзтивности -> транзитивности
Merge pull request #9 from murfel/patch-1

Update logic-basics.tex