Update logic-basics.tex