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
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
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
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
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
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.