Update logic-basics.tex

Опечатки