Update logic-puzzle.tex
Update logic-predicates.tex
Merge pull request #14 from m1kc/master

Fork you!