assignment 16

course Mth 151

EKv~ПŦdassignment #016

016. Translating Arguments

Liberal Arts Mathematics I

10-08-2008

......!!!!!!!!...................................

08:36:28

`q001. There are 6 questions in this set.

Is the following argument valid? 'If it rains, the grass will get wet. If the grass

gets wet, we'll be able to smell the wet grass. It rained yesterday. Therefore yesterday

we were able to smell the wet grass.'

......!!!!!!!!...................................

RESPONSE -->

Yes it is valid.

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:36:35

This argument certainly seems valid. We say what will happen if rains, and what will

happen is that happens. Then we say that it rains, so the whole chain of happenings,

rained then wet grass then smell, should follow.

......!!!!!!!!...................................

RESPONSE -->

OK

self critique assessment: 3

.................................................

......!!!!!!!!...................................

08:38:08

`q002. Is the following argument valid: 'If it snows, the roads will be slippery. If the

roads are slippery they'll be safer to drive on. Yesterday it snowed. Therefore yesterday

the roads were safer to drive on.'

......!!!!!!!!...................................

RESPONSE -->

It's invalid because of course the roads aren't safe when it's slippery. But in the context

of the problem, it is valid.

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:38:17

The validity of an argument has nothing to do with whether the statements in that argument

are true or not. All we are allowed to do is assume that the statements are indeed true,

and see if the conclusions of the argument therefore hold. In this case, we might well

question the statement 'if the roads are slippery they'll be safer to drive on', which

certainly seems untrue. However that has nothing to do with the validity of the argument

itself. We can later choose to reject the conclusion because it is based on a faulty

assumption, but we cannot say that the argument is invalid because of a faulty assumption.

This argument tells us that something will happen if it snows, and then tells us what we

can conclude from that. It then tells us that it snows, and everything follows logically

along a transitive chain, starting from from the first thing.

......!!!!!!!!...................................

RESPONSE -->

OK

self critique assessment: 3

.................................................

......!!!!!!!!...................................

08:39:40

`q003. Is the following argument valid: 'Today it will rain or it will snow. Today it

didn't rain. Therefore today it snowed.'

......!!!!!!!!...................................

RESPONSE -->

Yes that is valid because if it didn't rain, then the only other option was to snow.

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:39:46

If we accept the fact that it will do one thing or another, then at least one of those

things must happen. If it is known that if one of those things fails to happen, then, the

other must. Therefore this argument is valid.

......!!!!!!!!...................................

RESPONSE -->

OK

self critique assessment: 3

.................................................

......!!!!!!!!...................................

08:40:53

`q004. Is the following argument valid: 'If it doesn't rain we'll have a picnic. We

don't have a picnic. Therefore it rained.'

......!!!!!!!!...................................

RESPONSE -->

The arguement is valid.

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:41:11

In this argument where told the something must happen as a result of a certain condition.

That thing is not happen, so the condition cannot have been satisfied. The condition was

that it doesn't rain; since this condition cannot have been satisfied that it must have

rained. The argument is valid.

......!!!!!!!!...................................

RESPONSE -->

OK

self critique assessment: 3

.................................................

......!!!!!!!!...................................

08:43:50

`q005. We can symbolize the following argument: 'If it rains, the grass gets wet. If

the grass gets wet, we'll be able to smell the wet grass. It rained yesterday. Therefore

yesterday we were able to smell the wet grass.' Let p stand for 'It rains', q for 'the

grass gets wet' and r for 'we can smell the wet grass'. Then the first sentence forms a

compound statement which we symbolize as p -> q. Symbolize the remaining statements in the

argument.

......!!!!!!!!...................................

RESPONSE --> [ (p -> q) ^ (q -> r) ^ p] -> r ]

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:44:04

The argument gives three conditions, 'If it rains, the grass gets wet. If the grass gets

wet, we'll be able to smell the wet grass. It rained yesterday.', which are symbolized p

-> q, q -> r and p. It says that under these three conditions, the statement r, 'we can

smell the wet grass', must be true. Therefore the argument can be symbolized by the

complex statement [ (p -> q) ^ (q -> r) ^ p] -> r.

......!!!!!!!!...................................

RESPONSE --> OK

self critique assessment: 3

.................................................

......!!!!!!!!...................................

08:46:43

`q006. The preceding argument was symbolized as [ (p -> q) ^ (q -> r) ^ p] -> r.

Determine whether this statement is true for p, q, r truth values F F T.

......!!!!!!!!...................................

RESPONSE -->

p q r [p -> q] [q -> r] [p -> q] ^ [q -> r] ^ p} > r

F F T T T T

It is true

confidence assessment: 3

.................................................

......!!!!!!!!...................................

08:46:55

For these truth values p -> q is true since p is false (recall that the only way p -> q can

be false is for p to be true and q to be false), q -> r is false since q is false, and p

itself is false, therefore [ (p -> q) ^ (q -> r) ^ p] is false. This makes [ (p -> q) ^

(q -> r) ^ p] -> r true, since the statement can only be false if [ (p -> q) ^ (q -> r) ^

p] is true while r is false.

......!!!!!!!!...................................

RESPONSE -->

OK

self critique assessment: 3

................................................."

&#This looks very good. Let me know if you have any questions. &#