# propositional logic

• Jun 10th 2007, 09:32 AM
EquinoX
propositional logic
Say I have a statement:

You got an A on the final. but you dont do every exercise in the book; nevertheless, you get an A in this class

p : You get an A on the final exam
q : You do every exercise in this book
r : You get an A in this class

How do I write this English statement into a logical expression? I am confused on the statement nevertheless, does that show and or or???
• Jun 10th 2007, 09:36 AM
Jhevon
Quote:

Originally Posted by EquinoX
Say I have a statement:

You got an A on the final. but you dont do every exercise in the book; nevertheless, you get an A in this class

p : You get an A on the final exam
q : You do every exercise in this book
r : You get an A in this class

How do I write this English statement into a logical expression? I am confused on the statement nevertheless, does that show and or or???

\$\displaystyle P \wedge ( \sim Q) \implies R\$
• Jun 10th 2007, 09:41 AM
EquinoX
how about if the statement is:

You get an A on the final, you do every exercise in this book, and you get an A in this class

will it then be p^q^r??
• Jun 10th 2007, 09:43 AM
Jhevon
Quote:

Originally Posted by EquinoX
how about if the statement is:

You get an A on the final, you do every exercise in this book, and you get an A in this class

will it then be p^q^r??

yeah, that seems ok to me. in light of what you just did, i'm thinking we may be able to interpret "nevertheless" as "and" in the first question.
• Jun 10th 2007, 09:47 AM
EquinoX
that's what I was also thinking, I am confused with the word nevertheless, does that show and or if, I was thinking and also for the first time.......
• Jun 10th 2007, 09:50 AM
Jhevon
Quote:

Originally Posted by EquinoX
that's what I was also thinking, I am confused with the word nevertheless, does that show and or if, I was thinking and also for the first time.......

you got me there, its been a while since i took a logic class, and i dont recall doign much work with nevertheless. i think it's more appropriate to interpret it as "and" rather than "implies" though.