What is a Proof? Link to heading

In order to succeed in COMP2310, you need to have a good understanding of proofs. Here’s the definition of a proof from the courseware:

A derivation or proof of a wff $\alpha$ from a set of wffs $\Gamma$ in propositional logic is a sequence of wffs, $\alpha_1,\alpha_2,\dots,\alpha_n$ such that $\alpha_n=\alpha$, and for each $i,;1\leq i\leq n$,

1. $\alpha_i$ is a wff in $\Gamma$, or
2. $\alpha_i$ is of the form $\omega\lor\sim\omega$, called axiom, where $\omega$ is a wff, or
3. $\alpha_i$ is a direct consequence of some of the preceding wffs by substitution or by virtue of one of the inference rules.

This definition perfectly describes a proof. What it translates to is this:

• A proof involves deriving some wff $\alpha$ from a set of wffs called $\Gamma$. Effectively, $\Gamma$ can be understood as your list of premises that you already know, while $\alpha$ is whatever you are trying to prove.
• The “sequence of wffs, $\alpha_1,\alpha_2,\dots,\alpha_n$ such that $\alpha_n=\alpha$” simply means a proof contains many lines such that the last line is what you are trying to prove, which is $\alpha$.
• Each line of the proof must meet one of the three conditions:
  1. It must be one of the premises you start with (it’s a wff in $\Gamma$).
  2. It must be the axiom, which is $\omega\lor\sim\omega$ where $\omega$ is any wff. For example: $(\alpha\land\sim\beta)\lor\sim(\alpha\land\sim\beta)$ is a valid line.
  3. It must be the result of applying an equivalence or inference rule on a previous line.

Tips when Writing Proofs Link to heading

When writing proofs, follow these general tips:

1. Write your proof method at the top of the proof, before proceeding, in parentheses.
   • If you are simply doing a proof by definition, without using a method, then no proof method is needed.
2. Always state your justification for each line.
   • If you applied an equivalence or inference rule, state the line you applied it to. If you applied E10 on line 3, write “3, E10”.
   • If you are stating the premise in a direct proof or proof by contraposition, write “Premise”.
   • If you are stating the hypothesis in a proof by contradiction or vacuous proof, write “Hypothesis”.
   • If you are stating the assumption in an indirect proof, write “Assumption”.
   • If you are writing a given premise from $\Gamma$, write “from $\Gamma$”.
   • If you are writing the axiom $\omega\lor\sim\omega$, write “axiom”.
3. Don’t apply two equivalences/inference rules on the same line. Do one equivalence or inference rule at a time. Otherwise, you are skipping steps and marks will be deducted.
4. Don’t apply the same equivalence twice on the same line. Do one at a time.
   • If you have $(p\lor q)\land(r\lor s)$, you may be tempted to write “$(q\lor p)\land(s\lor r)$ 1, E10” as the next line. However, E10 was applied twice here. Instead, apply E10 once per line, or marks will be deducted.

Proof Methods Link to heading

There are many proof methods to discuss.

Direct Proof Link to heading

This is one of the most common proofs. The exact form in the courseware is:

To prove that $\vdash(\alpha\Rightarrow\beta)$, we may prove that $\alpha\vdash\beta$. i.e. we may derive a proof of $\beta$ from $\alpha$.

This effectively means, if the wff we are trying to prove is of the form $\alpha\Rightarrow\beta$, then we can assume $\alpha$ (call it the premise) and prove $\beta$.

Proof by Contradiction Link to heading

This is probably the second most common proof. The exact form in the courseware is:

To prove that $\vdash\omega$, we may proceed to prove that $\sim\omega\vdash false$.

This means, if we’re trying to prove something (i.e. $\omega$), we can assume the negation ($\sim\omega$) and show that we eventually lead to false.

Indirect Proof Link to heading

This proof is used sparingly, but is also beneficial to know. The exact form in the courseware is:

To prove that $\vdash(\alpha\Rightarrow\beta)$, we may proceed to prove that $\vdash(\sim\beta\Rightarrow\sim\alpha)$.

This is effectively the opposite of a direct proof. We prove its contrapositive instead. Then, you proceed with the proof using another proof method.

Proof by Cases Link to heading

This is useful in later chapters, primarily chapters 4-7. The exact form in the courseware is:

To prove that $\vdash(\alpha_1\lor\alpha_2\lor\dots\lor\alpha_k)\Rightarrow\beta$, we may proceed to prove that $\vdash\alpha_1\Rightarrow\beta$ and $\vdash\alpha_2\Rightarrow\beta$ and $\dots$ and $\vdash\alpha_k\Rightarrow\beta$.

Then with each case, you need to specify a proof method and prove each case.

Bidirectional Proof Link to heading

This is used whenever you are trying to prove a wff with a bidirectional. The exact form in the courseware is:

To prove that $\vdash\alpha\Leftrightarrow\beta$, we may prove that $\vdash\alpha\Rightarrow\beta$ and $\vdash\beta\Rightarrow\alpha$.

Similarly to a proof by cases, break the proof up into two cases and prove each case separately.

Trivial Proof Link to heading

This is hardly used at all, except for specific circumstances. The exact form in the courseware is:

To prove that $\vdash\alpha\Rightarrow\beta$, we may attempt to prove that $\vdash\beta$.

This means we are only proving $\beta$ with the axiom $\omega\lor\sim\omega$.

Vacuous Proof Link to heading

Honestly, I am not even sure if I have used this proof method before. The exact form in the courseware is:

To prove that $\vdash\alpha\Rightarrow\beta$, we may attempt to prove that $\vdash\alpha\Rightarrow false$

Summary Link to heading

These are 8 proof methods (including proof by definition) to help with proofs in 2310. Understanding how these work as well as how to format them will ensure you success in 2310 in the future.