#Homework: Writing English Statements in Logic Notation

49 messages · Page 1 of 1 (latest)

lime cipherBOT
long quartz
#

what have you tried?

long quartz
#

so I'm looking at 6c, and all it does is to tell you to convert each pair of statements into their logical forms (using the letters highlighted as the proposition variables).
then, you'll need to see if they're the same.

#

can you do that for 1a?

long quartz
#

close, but not quite.

#

1a)'s first statement says that it is not true that both D and S are wise.

#

they are thus asking us to negate this statement.

#

you are just missing the ~ in front of the (D and S).

#

as for the second statement, they say that neither D nor S are wise.

#

they are thus asking us to negate both D and S individually.

#

you're missing the ~ in front of the D.

#

for which one?

#

first or second statement?

#

the first one requires the bracket.

#

you have to bracket the (D and S).

#

correct.
now fix the second statement as I've mentioned.

#

uh no, the second statement of 1a).

#

each subquestion has 2 statements.

#

it's an "and" in the middle.

#

but yes.

#

correct. are they equivalent?
(hint: are their truth tables equivalent?)

#

correct.

#

these two statements are not equivalent.

#

to properly show that they are not equivalent, best to do so.

#

you can drop your attempts here, but I'm having lunch, so I might delay replying.

long quartz
#

for q1, you're supposed to also state whether they are equivalent.

#

also, for q1.b), you're supposed to indicate "understanding of people" with P, not U.

#

2a and 2b are both incorrect.

#

2b is a biconditional (E <-> O).

#

2c is not written like a logical statement here.

#

2d is correct.

#

I cannot confirm 2e.

#

and I think you misunderstood question 3 as a whole.

solid sundial
#

2e seems to be incorrect

#

Also in situations like this it'd help to write all your statements explicitly

long quartz
#

ah? I apologize for the misjudgment.

#

right, I see why now. sorry to both OP and Xavier.

solid sundial
#

Why are you so apologetic lol

#

You said you cannot confirm, that's fine

long quartz
#

oh you meant 2e. I was looking at 2a.

solid sundial
#

Ag

long quartz
#

after reviewing I think 2a is incorrect anyway (earlier I said it was right).

solid sundial
#

2a seems correct

lime cipherBOT
#

Homework: Writing English Statements in Logic Notation

long quartz
#

then I think I misinterpreted 2a.

solid sundial
#

Possible. This is why writing things explicitly would help

#

OP should write what H and W mean, before writing the relation between them

long quartz
#

let's address your confusion. so far, which part of our feedback is confusing?

solid sundial
#

I'll leave this to you since I need to go meet a prof, and you're handling it pretty well