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 10}

\maketitle

# Lecture 10

\def \ititle {Logic I}
\def \isubtitle {Lecture 10}
\begin{center}
{\Large
\textbf{\ititle}: \isubtitle
}

\iemail %
\end{center}
Readings refer to sections of the course textbook, \emph{Language, Proof and Logic}.
8.17-–8.19, *8.20–-8.23
9.4–-9.5, 9.8–-9.9

\section{∃Intro}

\section{∃Intro}
Although this is about the rule ∃Intro, I want to start by revising universal elimination.
Consider this argument. Actually it's not true that puffins have yellow beaks.
Well, there might be a bit of yellow,
but that's not what I'd call a yellow beak.
Anyway, back to the argument. How can we formalise it?
One approach would be to use sentence letters. Nothing wrong with this
except that it doesn't capture the structure in virtue of which the argument is valid. There's a counterexample to this form.
Here it is. So how can we do better?
We need a name and a predicate.
These allow us to write the conclusion as 'YelBk(a)'. Easy, no? (It's supposed to be easy, we're just revising stuff.)
For this we need another predicate.
And then we can write this in awFOL as 'Puf(a)', Ayesha is a Puffin
Finally, we have to formalise the first premise. How?
Well you know that, for universal sentences, we're always going to work from this example about all Fs are Gs.
So, well you know how it goes by now I hope.
Now we have the argument translated into awFOL in such a way that the translation is logically valid too. Can we prove it?
Yes, we can.
To this end, we need the rule we looked at at the end of last lecture, universal elim.
This allows us to infer that what is true of all things is true of Ayehsa in particular.
In English, If she's a puffin then she has a yellow beak.
Of course we have to cite the rule we're using and the line we're applying it to.
So you remember how universal-elim goes. We start with a universally quantified sentence ...
... universal something ...
... and we add the something to our proof, replacing the variable with whatever name we like.
Meraviglioso
Now we have just what we need to get to the conclusion. But what's the rule and what lines should we cite?
It's arrow-elim and the lines we should cite are 2 and 3.
So far so good, ...
now for existential elim
Here's some English
It's clear, I suppose, how we translate the premise. But what about the conclusion?
Well we're talking about something so we're going to need the existential quantifier.
But how can we prove this argument?
Well, that's just what the rule existential-intro is made for.
You have a statement about some named person, in this case about Ayesha.
You remove the name and replace it with a variable (here I've used x as the variable, but you can use y or z or any variable you like), and add an existential quantifier to the front.
Of course we have to cite the rule and the line referenced, as always.
And that's it.
Now the premise of this argument is the conclusion of the argument we proved just a moment ago.
So we can join the two arguments together to make one big one.
Look, these premises allow us to prove this conclusion.
I know this maybe isn't the most exciting thing ever. I'm just showing you so you can see how to get from universal to existential. In case you ever need to.

## What does ‘→’ mean?

\section{What does ‘→’ mean?}

\section{What does ‘→’ mean?}
Assuming that the rules of Fitch are such that it is impossible to prove an argument which is not logically valid, the truth table for → is fixed if we accept →Elim and →Intro.
How do the rules of proof for → fix its truth table?
7.1--7.6
7.2
7.5
7.6

## Not If

\section{Not If}

\section{Not If}

If she has seen it, I am dead.

A → B

That's not true.

¬(A → B)

If she has seen it, I am not dead.

A → ¬B

 A B A → B ¬(A → B) A → ¬B ​T T T F F ​T F F T T ​F T T F T ​F F T F T
Only the first negated sentence guarantees that I am alive. Once again, where negation goes is a matter of life and death.

No lectures or seminars in reading week (Week 6).

## ↔ : truth tables and rules

\section{↔ : truth tables and rules}

\section{↔ : truth tables and rules}
 A B A → B B → A (A → B) ∧ (B → A) A ↔ B ​T T T T T T ​T F F T F F ​F T T F F F ​F F T T T T

 ​ 1 A ↔ B ​ 2 A ​ 3 B ↔Elim: 1,2
 ​ 1 A ↔ B ​ 2 B ​ 3 A ↔Elim: 1,2

How do I intro ↔?

 A B A ↔ B ​T T T ​T F F ​F T F ​F F T
 A B A → B ​T T T ​T F F ​F T T ​F F T
 ​ 1 A ​ 2 ... ​ 3 B
 ​ 4 B ​ 5 ... ​ 6 A
7.A ↔ B
 ​ 1 A ​ 2 ... ​ 3 B
4.A → B
#

## Fubar Rules

\section{Fubar Rules}

\section{Fubar Rules}
\begin{minipage}{\columnwidth}
Q1. What would be wrong with adding ∧Fubar to Fitch?
Q2. What would be wrong with having ∧Fubar in any system of proof?
\end{minipage}

logic support

S2.81

Mondays, 15th and 22nd February 2016

19:00-20:00

No lectures or seminars in reading week (Week 6).

No lectures or seminars in reading week (Week 6).

## What does ∃ mean?

\section{What does ∃ mean?}

\section{What does ∃ mean?}
We give the meaning of ∃ by specifying what it takes for a sentence containing ∃ to be true:
\begin{enumerate}
\item Give every object a name.
\item For each name in turn, create a new sentence like this: delete the quantifier and replace all instances of the variable it binds with that name.
\item If ANY of the new sentences are true, so is the original sentence.
\end{enumerate}

## There Does Not Exist

\section{There Does Not Exist}

\section{There Does Not Exist}
Everything is not broken:
\hspace{3mm} ∀x ¬Broken(x)
Not everything is broken:
\hspace{3mm} ¬∀x Broken(x)

 ​ 1 ​ 2 a=a =Intro ​ 3 ∃x (x=x) ∃Intro: 2

Everything is broken.

∀x Broken(x)

Everything is not broken.

∀x ¬Broken(x)

Not everything is broken.

¬∀x Broken(x)

1.

 ​ 2 Dead(a) ​ 3 ∃x Dead(x) ∃Intro: 2 ​ 4 ⊥ ⊥Intro: 1,3

Counterexample:

Domain: {Ayesha, Beatrice}

a : Ayesha ; b : Beatrice

... and ¬Dead(a) is true; so the premise, ∃x ¬Dead(x), is true

9.12
9.18--9.19

## Quantifier Equivalences: ¬∀x Created(x) ⫤⊨ ∃x ¬Created(x)

\section{Quantifier Equivalences: ¬∀x Created(x) ⫤⊨ ∃x ¬Created(x)}