Update logic-formalism.tex
Merge pull request #35 from lebedevsergey/patch-6

Update logic-formalism.tex