Update logic-basics.tex

транзтивности -> транзитивности