Welcome to Math 299, where mathematicians are born! I will post assignments and announcements here throughout the semester. Check back frequently. Below are links to some resources we will be using in the course.
Below are all of the Training Workouts for Math 299 – Spring 2023 to date. For the most recent Training Workout and additional information see the Math 299 Home Page.
Welcome to Math 299, where mathematicians are born! I will post assignments and announcements here throughout the semester. Check back frequently. Below are links to some resources we will be using in the course.
1. Type up a Formal proof of each of the following statements. You can only use the rules of Propositional Logic discussed in class. To do that, start your new document by using the Lurch menu File > Choose Topic.. > Logic > Propositional Logic > Blank Document. Put your name at the top. For each theorem, first state the theorem, then give a proof of it directly below the theorem as I did in the examples in class (I put a copy of both the original document I shared with you and the one I did in class in your Dropbox folder).
Number each statement in the proof, and give a reason for every statement (except Assumptions, which need no reason). Use the auto-numbered list in the Lurch to number the lines – don’t type the line numbers by hand. Be sure to give the line numbers for the statements used as the premises (i.e. inputs) immediately after the reason. Use the TAB key to indent your assumptions, and also to line up your reasons in a separate column. Do all of your work in Lurch. Save your work often! Lurch has been known to crash! You can use Lurch to check your work as I showed you in class.
If you have questions, just let me know. Put your assignment in Dropbox in a folder for Assignment 4. Save it as a .lurch file (not a pdf) so I can type in it and leave comments and grades. It’s ok to put the file in there when it is partially finished – I won’t grade it until after Tuesday, and if you get stuck or have a problem while working on the proofs I can open your file and help you figure it out.
If everyone loves themselves then everyone loves someone.