Update logic-formalism.tex
Merge pull request #47 from lebedevsergey/patch-18

Update logic-formalism.tex