Update logic-formalism.tex
Merge pull request #30 from apiyron/patch-6

Update logic-formalism.tex