Philosophy 120: Introduction to Logic (Autumn 2015)
Handwritten Exercise Week 2
Exercise 1: Translate the following English sentences into the language of
sentential logic. Be sure to indicate what each sentential variable represents.
A. Julio shouted.
Conditionals have different uses depending on the context.
If Mitt is a mammal he has lungs.
If Bob passed the course he showed up for the exams.
One would typically utter these sentences to indicate that the consequents
express a necessary con
29: P P
This constitutes the circular but obviously valid proof of a
proposition from itself as assumption. This move shows up in
hinky uses of v-E in 32 and 33.
We introduce a new symbol, to stand for is interderivable
Phil 120/ Weller
Consider the following argument:
If Florida State won Oregon isnt happy. Oregon is happy. Therefore, Florida
State didnt win.
1 (1) P Q
2 (2) Q
1,2 (3) P
MTT requires the negation of the consequent of a conditional. But the in
In our system a conjunction is a compound proposition formed by conjoining
two propositions (of whatever complexity) with an ampersand, '&',. It
corresponds to a statement formed by conjoining two statements with the word
Indirect Proof and RAA
Heres an argument attributed to Zeno of Elea circa 450 BCE
To be proven: that motion is impossible.
Now lets just assume that its possible to traverse the finite
A finite distance, AB, is infini