24 views

Uploaded by Cruz Jeremiah

hehehe

- 0457 Marking Memeo
- Passage Reconstruction
- 0495804118_154117 (1)
- What is HOT.pdf
- [Octavio Roca and Matthew Schuh] Powerful Ideas a(B-ok.org)
- CMU - Teaching Portfolio Guide
- Fallacies
- 0495808768_150174_chapter1
- Argumentation
- Different Voices
- How to Write a Discursive Essay
- IT2104_2011
- Argumentation Theory
- Arguments and Necessary and Sufficient Conditions
- Two Varieties of Conditionals and Two Kinds
- Research Paper Peer Revising Sheet
- List of Fallacies
- Interview Question
- BSRLMhandout
- Some Tips for Essay Writing

You are on page 1of 20

have any questions

You should know how to translate all of

these fairly simple sentences into their

logical components (be able to go from

English to logic symbolization)

Translate the Following

Boston.

If she went to Boston, then she campaigned

there.

If she campaigned there, she met Douglas.

Anderson did not meet Douglas.

Either Anderson was nominated or someone

more eligible was selected.

Therefore someone more eligible was selected.

1. Translate

A B

B C

C D

~D

AvE

Therefore E

2. Establish Validity

we want to prove it

We could use truth tables, but this would require

us to make a table with 32 rows since there are 5

different simple statements involved

So now what?

using already-known, elementary valid arguments

(there are a total of 9) in this example:

If p then q

And if q then r

Therefore: if p then r

If p then q

~q

Therefore ~p

pvq

~p

Therefore q

Validity Established

valid, we see that the conclusion can be

deduced from the five premises of the

original argument by four elementary valid

arguments (2 H.S. + 1 M.T. + 1 D.S.)

This proves that our original argument is

valid

that we deduce from them in a single

column to the right of this column, for

each statement, its justification is written

(basically the reason why we include that

statement in the proof)

2. List all the premises first, then the logic

(e.g. inference rules) used to get at the

conclusion (which will be listed last)

2.

3.

4.

5.

7.

8.

9.

6.

A B

B C

C D

~D

AvE

A C

A D

~A

E

1.

1,2 H.S.

6,3 H.S.

7,4 M.T.

5,8 D.S.

statement (the right most

column) consists of the

numbers of the preceding

statements from which that

line is inferred, together with

the abbreviation for the rule of

inference used to get it

Definitions

of statements, each of which is either a premise of that

argument or follows from preceding statements of the

sequence by an elementary valid argument (i.e. our inference

rules), such that the last statement in the sequence is the

conclusion of the argument whose validity is being proved

An elementary valid argument is any argument that is a

substitution instance of an elementary valid argument form

(e.g. our inference rules)

statements, so take our word for it that they are valid

(A B) [C (D v E)]

AB

Therefore C (D v E)

substitution instance of the elementary valid argument form modus

ponens (M.P.), another one of our inference rules. See if you can see

it:

If p then q

And p

Therefore q

Modus Ponens (M.P.)

1.

If p then q

p

Therefore q

2.

If p then q

~q

Therefore ~p

3. Hypothetical Syllogism (H.S.)

If p then q

And if q then r

Therefore: if p then r

4. Disjunctive Syllogism (D.S.)

pvq

~p

Therefore q

(p q) (r s)

pvr

Therefore: (q v s)

6. Absorption (Abs.)

p q

Therefore: p (p q)

7. Simplification (Simp.)

pq

Therefore: p

8. Conjunction (Conj.)

p

q

Therefore: (p q)

9. Addition (Add.)

p

Therefore: (p v q)

elementary argument forms whose validity is

easily established by truth tables. With their air,

formal proofs of validity can be constructed for a

wide range of more complicated arguments.

Example:

Prove the following given the premises

(using inference rules)

W X

2. (W Y) (Z v X)

3. (W X) Y

4. ~Z

Therefore X

1.

Solution:

(Strategy Hint: see what you can create from the premises using the

inference rules we know.

Keep in mind what youre looking for: this will keep you on track)

3.

8.

1 Abs.

5,3 H.S.

2,6 M.P.

7,4 D.S.

Therefore: W

7.

W (W X)

(W X) Y

6.

5.

at line 5 then 3: it follows

the H.S. pattern:

4.

our absorption rule

2.

W X

(W Y) (Z v X)

(W X) Y

~Z

W (W X)

W Y

ZvX

X

1.

M.P. form from lines 2

and 6

Line 8: use D.S. from

Example 2

I J

2. J K

3. L M

4. I v L

Therefore: K v M

1.

Solution

3.

4.

7.

6.

5.

2.

I J

J K

L M

IvL

I K

(I K) (L

KvM

1.

M)

1,2 H.S.

5,3 Conj.

6,4 C.D.

- 0457 Marking MemeoUploaded byMarshall-tendai Zifa-sire Zuku-chibika
- Passage ReconstructionUploaded byEvangeline Dacer Alcantara
- 0495804118_154117 (1)Uploaded bygghhsd
- What is HOT.pdfUploaded bySyarfa Furzanne
- [Octavio Roca and Matthew Schuh] Powerful Ideas a(B-ok.org)Uploaded byFray Alexus Enriquez Mansueto
- CMU - Teaching Portfolio GuideUploaded byD-2o4j48dol20iilylz0
- FallaciesUploaded byKatrina Shane Sanvictores Esmilla
- 0495808768_150174_chapter1Uploaded bySantiya Subramaniam
- ArgumentationUploaded byFatme Casal
- Different VoicesUploaded bywaqarali78692
- How to Write a Discursive EssayUploaded byCuruia Robert
- IT2104_2011Uploaded byNuwan Lasantha
- Argumentation TheoryUploaded byMoazzam Moriani
- Arguments and Necessary and Sufficient ConditionsUploaded bydaniellestfu
- Two Varieties of Conditionals and Two KindsUploaded byLeibnizhaus
- Research Paper Peer Revising SheetUploaded byKim Kolwiek
- List of FallaciesUploaded byAbel Ekwonyeaso
- Interview QuestionUploaded byAnjani Kunwar
- BSRLMhandoutUploaded byAmar Bummer
- Some Tips for Essay WritingUploaded bycoral2244
- 8004_s11_ms_12Uploaded bymrustudy12345678
- kennethUploaded byapi-282214321
- How To Win An Argument - 10 Tips For Winning An.pdfUploaded bykshk ry
- CUP - Reasoning [2008].pdfUploaded byir12u
- cheap rhetorical analysis final draftUploaded byapi-217663549
- INTFILO - MidtermsUploaded byJazlynn Wong
- ri 6-12Uploaded byapi-172791154
- 1_1171203934Uploaded bymarcelamf
- ArgumentUploaded byulandte
- Answer Keys of Paper Dec 12Uploaded byarunscribd20

- img20190613_15551353Uploaded byCruz Jeremiah
- Authorization LetterUploaded byCruz Jeremiah
- kant.pdfUploaded byCruz Jeremiah
- SUMMONS.docxUploaded byCruz Jeremiah
- Final - TokensUploaded byCruz Jeremiah
- Final - TokensUploaded byCruz Jeremiah
- REEM AMEED.txtUploaded byCruz Jeremiah
- womens experience.pdfUploaded byCruz Jeremiah
- Super InnUploaded byCruz Jeremiah
- kkUploaded byCruz Jeremiah
- 1302 - causal argument directions rubricUploaded byapi-441254003
- Excuse LetUploaded byChristine Joy Prestoza
- 10 The Perceived Effects of Internet Usage on Academic Achievement.pdfUploaded byCruz Jeremiah
- Sharp Copier.pdfUploaded byCruz Jeremiah
- Autobiographical Essay ExampleUploaded byBuana Letug
- CERTIFICATION OF SERVICE.docxUploaded byCruz Jeremiah
- A Whole New Makeup WorldUploaded byCruz Jeremiah
- Doc1Uploaded byCruz Jeremiah
- Demure rUploaded byRuth Hephzibah
- 4985 Dainton Chapter 5Uploaded bylucianaeu
- hrhrhrhrh.docxUploaded byCruz Jeremiah
- wipo_ip_cm_07_www_82573Uploaded byCruz Jeremiah
- Final - TokensUploaded byCruz Jeremiah
- Political LawUploaded bypreinidua
- GEANUploaded byChristine Joy Prestoza
- Sharp Copier.pdfUploaded byCruz Jeremiah
- he.docxUploaded byCruz Jeremiah
- kkUploaded byCruz Jeremiah
- CommissionUploaded byCruz Jeremiah
- hrhrhrhrhUploaded byCruz Jeremiah

- penaakulan.pptUploaded byIda Haidar
- Truth tablesUploaded byhabbashmahmood
- Logic Hand OutUploaded byStefanos Traan
- Logical Equivalence, Logical Truths, and ContradictionsUploaded byteachopensource
- mathsUploaded byRuba Ds
- UNIT 1 - Basic Concepts in Logic-1Uploaded byBarby Angel
- HarrmanChange in ViewUploaded byAndre J. Abath
- Teller's Logic Manual Answer Key (Book 1)Uploaded bycare2free20057314
- The logic bookUploaded bytuxedotshirt
- Deductive InductiveUploaded byJerome Salazar Caballero
- Chapter_8_of_LPL_textbook.pdfUploaded byandrea
- Introduction to logicUploaded byblablablou
- Deductive and Inductive ReasoningUploaded byVinze Agarcio
- Propositional Logic (discrite maths)Uploaded byapi-33642484
- Proposional LogicUploaded byFadle Metalseeker Feros
- Premises 1Uploaded byBlee13
- mmi11_ppt_0306.pptUploaded byHector
- Valid and Invalid ArgumentsUploaded byVanz Justine
- 20120927 Quiz 2b SolutionsUploaded byPaul Jones
- What Are ArgumentsUploaded bysirfanalizaidi
- Logic PrimerUploaded byJacob
- PHLA10 Arguments (Sept 16)Uploaded byScott Walsh
- Sound Argument and Cogent ArgumentUploaded byAmirah Nadia Mat Lias
- Elementary Logic for LawyersUploaded byHelen Mionda
- InductionUploaded byKim Mendoza
- Chapter 1 (What Logic Studies)Uploaded byfranceheart
- Argument Forms and Refutation by Logical AnalogyUploaded byMXKat
- Logic-8.8-8.10Uploaded byLen-Len Cobsilen
- Hypothetical Syllogism (Full version)Uploaded byroy_dubouzet
- Logic Reviewer.docxUploaded byLeia Veracruz