| Tasks | Submission deadline | |
|---|---|---|
| #1 |
Download a LaTeX distribution that is compatible with your operating system.
I strongly recommend that you use TexShop if you are a Mac user or TexWorks if your are working with Windows. If you like to work online you can use Overleaf. Type your first LaTeX document with a title ''Term Paper of Firstname Lastname'' and a first section ''Mathematical Logic''. Write between 150 and 200 words about Mathematical Logic (e.g. origins, types of logic, applications...) and try to familiarize yourself with the software (helpful tutorials, Wikibook LaTeX). By Friday January 16, 11:59 p.m. you must upload to Gradescope two files: the .tex file and the .pdf file. The names of the files must be of the following form: yourlastname_task1.tex and yourlastname_task1.pdf. | Friday 01/16, 11:59 p.m. |
| #2 | In your section called Mathematical Logic draw the truth tables of the following logical connectives: negation, conjunction, disjunction, implication. Make sure that your tables have a caption and are centered. Then, reproduce the statement of Problem 1.14 in the homework problem set (you will need to create an environment for problems) and provide a solution (use the proof environment). By Friday January 23, 11:59 p.m. you must upload in Gradescope two files: the .tex file and the .pdf file. The names of the files must be of the following form: yourlastname_task2.tex and yourlastname_task2.pdf. | Friday 01/23, 11:59 p.m. |
| #3 | In your section called Mathematical Logic: First recall the two DeMorgan Laws. Then, state the following exercise and provide a solution. Exercise: Are the statement forms P∨((Q∧R)∨ S) and ¬((¬ P)∧(¬(Q∧ R)∧ (¬ S))) logically equivalent? By Friday January 30, 11:59 p.m. you must upload in Gradescope two files: the .tex file and the .pdf file. The names of the files must be of the following form: yourlastname_task3.tex and yourlastname_task3.pdf. | Friday 01/30, 11:59 p.m. |