can some plz help me figure this out:

Consider the following collection of statement.:-

If I wash thent.

iii. How many rows would be required by a truth table to show that the

statements are inconsistent?

Printable View

- Nov 17th 2008, 08:34 AMsrk619logic and sets help!!
can some plz help me figure this out:

Consider the following collection of statement.:-

If I wash thent.

iii. How many rows would be required by a truth table to show that the

statements are inconsistent? - Nov 17th 2008, 09:48 AMSoroban
Hello, srk619!

Quote:

Consider the following collection of statements:

(1) If I wash the dishes, I break something.

(2) If I break something, I get into trouble.

(3) If I do not wash the dishes, I am accused of being lazy.

(4) If I am accused of being lazy, I get into trouble.

(5) If I get into trouble, I will sulk.

(6) I will not sulk.

i. Choose symbols to represent the sentences in the above argument,

and hence express the statements in terms of propositional calculus.

And we have: .

Quote:

ii. Construct a formal proof showing that the statements are inconsistent.

Quote:

iii. How many rows would be required by a truth table

to show that the statements are inconsistent?

There are five statements: .

The truth table will have: . rows.

- Nov 18th 2008, 06:44 AMsrk619formal proof
i dont know how to do the formal proof can you help me

- Nov 18th 2008, 06:52 AMJhevon
using Soroban's numbering, let statements 1 through 5 be premises, and statement 6 the conclusion. show that such an argument is invalid.

(note that in either case, whether you wash the dishes or not, you will get into trouble. statement 5 says if you get into trouble you will sulk, but statement 6 says you won't. obviously this is inconsistent. now find the proof. statement 5 and 6 cannot both be true if statements 1 through 4 are true.) - Nov 18th 2008, 01:34 PMSoroban
Hello, srk619!

. .

And we have: .

Quote:

ii. Construct a formal proof showing that the statements are inconsistent.

Let = "contrapositive of"

. . For example: . means "contrapositive of statement (3)".

. .

But this contradicts statement

Therefore, the statements are inconsistent.

- Nov 19th 2008, 05:38 AM-NM-
I've got the exact same question to answer :o

But i still don't really understand how you got to that conclusion.

I tried to write the proof myself but ended up with:

W = I Wash The Dishes, B = I Break Something, T = I Get In Trouble, L = I am Accused Of Being Lazy,

S = I Will Sulk

H1 = W => B [If I wash the dishes, I break something]

H2 = B => T [If I break something, I get in trouble]

H3 = ¬W => L [If I do not wash the dishes I am accused of being lazy]

H4 = L => T [If I am accused of being lazy I get in trouble]

H5 = T => S [If I get in trouble I will sulk]

H6 = ¬S [I will not sulk]

Assertion | Justification

1. ¬S | H6

2. T => S | H5

3. ¬T | 1, 2 Modus Tollens

4. L => T | H4

5. ¬L | 3, 4 Modus Tollens

6. B => T | H2

7. ¬B | 3, 6 Modus Tollens

8. ¬W => L | H3

9. W | 5, 8 Modus Tollens

10. W => B | H1

But that doesn't seem to prove anything, plus i think part of it is wrong :(

Could anyone help by giving a step by step walkthrough of what you are supposed to do?

Thank you. - Nov 21st 2008, 01:31 AMMorpheus_UK
Forgive me, as Im new to this area of maths.

Im sorry but Im trying to understand your proof, or see alternatives, but Im struggling to see how you've made this case...mainly the area of syllogism? Now if its hypothetical syllogism, shouldn't (f) be w --> t

I struggle to see how ~s --> t comes from statment 1 and 2.

Maybe you can point me in the direction of another approach, if syllogism is a complicated kettle of fish - Nov 21st 2008, 01:49 AMMorpheus_UK
Are there statements not omitted between (e) and (f) that follow the rules of inference, is this the reason why? I cant see why statement 1 and 2, are present in the tableau if they are not worked on?

- Nov 24th 2008, 12:30 AMMorpheus_UK
never mind...I eventually got there.

Contra positive is new to me though. Do you have any direct online reading material, or recommended math web links?

Contra positive by the way, that isn't de Morgans Law is it?