Lab 02 - Proof Problems 1

In this assignment, you will write formal proofs to prove several theorems. You'll write your proofs in LaTeX format, using this template

Notes:

Make sure you put fill in your name and the assignment number in the template.
Make sure all of your equations are centered and labeled using this format:

\begin{equation}
\label{frac}
\frac{3}{4} = \frac{6}{8}
\end{equation}

Make sure you write in complete sentences, and don't forget to end your proofs using the black square / QED symbol: \blacksquare.
A sample proof is provided in the template. Follow that example when completing your own proofs.
You may want to configure TexMaker to use side-by-side rendering mode.
You may want to review this LaTeX guide, especially sections 3 (the basics) and 7 (Math) for information on how to format your LaTeX document.

Installing Latex Software

In order to write proofs in LaTeX format, you'll need a LaTeX distribution. It's also recommended that you install a Latex editor.

You're welcome to use any LaTeX editor and compiler you wish, but I recommend you use the following:

Mac

Make sure you follow these instructions in order. Installing the editor before installing the LaTeX distribution can cause problems.

Install the MacTeX distribution. (Note that this is a very large download).
Install TexMaker.
Once you have the software installed correctly, rendering the template should give you this pdf.
Open the template and begin filling in the details of each proof.

Windows

Make sure you follow these instructions in order. Installing the editor before installing the LaTeX distribution can cause problems.

Install the MikTeX distribution.
Install TexMaker.
Once you have the software installed correctly, rendering the template should give you this pdf.
Open the template and begin filling in the details of each proof.

Linux

Make sure you follow these instructions in order. Installing the editor before installing the LaTeX distribution can cause problems.

Use your linux distribution's package manager to install a LaTeX distribution.
Install TexMaker.
Once you have the software installed correctly, rendering the template should give you this pdf.
Open the template and begin filling in the details of each proof.

Submission

To submit your assignment, render your LaTex file into a .pdf. Then, put the .tex and .pdf files into a .zip file and upload that zip file to mySVU.

CSC 240