xHellerx/Math-tutorial — pull request #9 by murfel (2013-08-03 16:29:13+00:00)
Title: Update logic-basics.tex

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