Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

\title {Logic I \\ Lecture 06}
 
\maketitle
 

Logic I

Lecture 06

\def \ititle {Logic I}
\def \isubtitle {Lecture 06}
\begin{center}
{\Large
\textbf{\ititle}: \isubtitle
}
 
\iemail %
\end{center}
Readings refer to sections of the course textbook, \emph{Language, Proof and Logic}.
 
\section{∨Intro and ∨Elim}
\emph{Reading:} §6.2
 
\section{∨Intro and ∨Elim}

rules for ∨

 
\section{∨Elim and Soundness}
\emph{Reading:} §5.2, §6.2
 
\section{∨Elim and Soundness}

The rules of proof are formal stipulations.

-- but --

Some stipulations allow us to ensure we can only prove logically valid arguments.

 
\section{∨Elim: An Example}
\emph{Reading:} §5.2, §6.2
 
\section{∨Elim: An Example}
To prove a conclusion from a disjunction, prove it from each disjunct.
5.1--5.6
6.2--6.6
 

Not Or

 
\section{Not Or}
\emph{Reading:} §3.7
 
\section{Not Or}
I was asked, What is the difference between putting the negation outside of parenthesis and putting into individual brackets?
Let's have a look.

‘What is the difference between putting the negation outside of parenthesis and putting into individual brackets?’

Consider this sentence, 'Either the music has stopped or I am dead.'

Either the music has stopped or I am dead.

AB

Let's suppose we can represent it in awFOL as A ∨ B.
What happens if you deny the whole sentence?

That’s not true.

To capture this denial in awFOL, we put negation outside the brackets.
¬(A ∨ B)

Now consider this alternative sentence, 'Either the music has not stopped or I am not dead.'

Either the music has not stopped or I am not dead.

To capture this in awFOL, we put negation inside the brackets.
¬A ∨ ¬B

So now we have a sentence with negation outside the brackets and another one with negation inside the brackets.
And, thinking about the English sentences, you can perhaps see that if we put negation inside the brackets we are not denying the sentence, just asserting a different disjunction.
Let's see how these two differ by constructing truth-tables.
In constructing truth-tables we start with the truth table for disjunction (∨).
ABA ∨ B¬(A ∨ B)¬A¬B¬A ∨ ¬B
TTTFFFF
TFTFFTT
FTTFTFT
FFFTTTT
To get the truth table for ¬(A ∨ B) we merely need to flip the truth-values of the truth-table for (A ∨ B).
By contrast, if we want the truth-table for ¬A ∨ ¬B, we need to start with truth-tables for ¬A and for ¬B.
We then combine these two truth tables using disjunction -- so it's True whenever ¬A is True or ¬B is True, and False otherwise.
Now focus just on the truth tables for our two sentences, one with negation inside the brackets the other with negation outside the brackets
The truth of the first denial sentence, ¬(A ∨ B), guarantees that you're alive (B = 'I am dead'), whereas the truth of the second denial, ¬A ∨ ¬B, doesn't entail that you're alive.
Sometimes students decide they'll ignore brackets and hope for the best. But the difference between putting the negation outside of parenthesis and putting into individual brackets is a matter of life or death.
3.19
5.18
 

→Intro: An Example

 
\section{→Intro: An Example}
 
\section{→Intro: An Example}
 

¬Elim

 
\section{¬Elim}
\emph{Reading:} §6.3
 
\section{¬Elim}
 

¬Intro

 
\section{¬Intro}
\emph{Reading:} §5.3, §6.3
 
\section{¬Intro}
6.7--6.10
*6.11--6.12
6.7--6.12
6.18--6.20
6.24--6.27
*6.40--6.42
 
\section{¬Intro continued}
 

∨Elim: Recap

 
\section{∨Elim: Recap}
 

Subproofs Are Tricky

 
\section{Subproofs Are Tricky}
 
\section{Subproofs Are Tricky}
What is wrong with the following apparent proof?