PDA

View Full Version : Symbolic Logic & Maths Question

Achilles
03-30-2004, 05:34 AM
Here is the statement:

If I work, I cannot study.
Either I study or I pass mathematics.
I worked..
Therefore I passed mathematics.

I have translated this into

A : I work
B : I study
C : I pass mathematics

[A ^ B' ] ^ [ B v C ] ^ [ A -> C ]

When you work this out, the arguement is invalid.

What I am wondering is, is the above symbolic logic statement a correct interpretation of the english, or should it read .... [A ^ B' ] ^ [ B v C ] -> [ A -> C ]

Note the " ->" "implies" symbol between the middle and the last section, as opposed to the " ^ " "and" symbol in my original version."

Can anyone help me with this ?

erislover
03-30-2004, 07:02 AM
I don't get "either I study or I pass mathematics." Aren't you studying to pass mathematics? Anyway...

"If I work, I cannot study" would be
A -> ~B or ~(A & B).

1. A -> ~B
2. B V C
3. A
4. thus ~B modus ponens
5. C, disjunctive syllogism (2, 4)

Liberal
03-30-2004, 07:08 AM

A -> B' If I work, I cannot study.

B v C Either I study or I pass mathematics.

A I worked.

C Therefore I passed mathematics.

[A -> B'] ^ [B v C] ^ A ^ C

If A is true, then...

B' ^ [B v C] ^ C

If C is true, then...

B' ^ B

Achilles
03-30-2004, 07:15 AM
I don't get "either I study or I pass mathematics." Aren't you studying to pass mathematics? Anyway...

"If I work, I cannot study" would be
A -> ~B or ~(A & B).

1. A -> ~B
2. B V C
3. A
4. thus ~B modus ponens
5. C, disjunctive syllogism (2, 4)

The "either I study or I pass mathematics" schtick was given to us by the prof. We have only studied very simple logic. The prof advised us that he wanted us to break the English into a symbolic logic statement using "A", "B" & "C". I don't understand what the " ~ " means, when you use it.

On preview, I see that Libertarian has the answer. But Libertarian, doesn't A imply C - the word "therefore" seems to suggest that it does. Please advise. I agree that the statement is not a tautology.

WernhamHogg
03-30-2004, 07:26 AM
The argument is valid.

The ~ means "not". So A -> ~B means "If A then not B."
You've established that A is true, so B is not true.
You've established that either B or C is true. B is not true, so C must be true.

Liberal
03-30-2004, 07:31 AM
On preview, I see that Libertarian has the answer. But Libertarian, doesn't A imply C - the word "therefore" seems to suggest that it does. Please advise. I agree that the statement is not a tautology.Either way, really. If A implies C, then both A and C drop out immediately and the contradiction is even more apparent. The statements as they were given to you are a bit scrambled. The premise of the argument is A. So using Eris's notation (which is a bit more common, ~ = not):

A

A -> ~B

C v B

Conclusion:

C

The last step is a disjunctive syllogism. The argument simply says that you passed mathematics without studying.

Achilles
03-30-2004, 07:32 AM
The argument is valid.

The ~ means "not". So A -> ~B means "If A then not B."
You've established that A is true, so B is not true.
You've established that either B or C is true. B is not true, so C must be true.

Okay, thanks. So after re-consideration and using my notation, I've described the phrase as:-

[ [ A -> B' ] ^ [ B v C ] ^ A ] -> C

When I work out the "truth tables" (unfortunately required by the prof.) I find that this is a tautology.

Can someone please confirm this ?

Sorry for the incessant questions.

Many, many thanks.

Liberal
03-30-2004, 07:36 AM
Well, everything proves a tautology, and in the end, every valid argument is a tautology. By contrast, contradictions prove everything.

Achilles
03-30-2004, 07:39 AM
The argument simply says that you passed mathematics without studying.

I fucking wish.

But seriously, Is my notation correct ? (excepting the whole ' = ~ thing...

erislover
03-30-2004, 07:41 AM
The "either I study or I pass mathematics" schtick was given to us by the prof. We have only studied very simple logic. The prof advised us that he wanted us to break the English into a symbolic logic statement using "A", "B" & "C". I don't understand what the " ~ " means, when you use it.Not. The statement is, "If I work, [then] I cannot study." You can look at it as an implication:
WORK implies NOT STUDYING, A -> ~B
or a conjunction,
NOT both WORK and STUDYING, ~(A & B)
which are logically equivalent.

The modus ponens is a rule of deduction from implication, which says that
( (P -> Q) & P ) -> Q,
if P implies Q, and P is true, then Q Q is true.

So we have, A -> ~B, if I work I cannot study, and A, I worked, hence ~B, I didn't study.

Then we have the disjunction,
either I STUDY or I PASS MATH, B V C.

The syllogism runs
( (P V Q) & ~P ) -> Q.

Our form is
Either I study or I pass mathematics, B V C, but I didn't study, ~B, so I passed mathematics, C.

The whole tautology is
( (A -> ~B) & (B V C) & A )-> C.

I'm using & for AND while I think your OP is using ^.

Liberal
03-30-2004, 07:47 AM
I fucking wish.

But seriously, Is my notation correct ? (excepting the whole ' = ~ thing...That depends on your teacher. There is no High Holy Notation. There are certain conventions, but lots of people wiggle a lot. And especially so since there is so much ASCII symbology these days. Eris has given you a comprehensive and correct analysis.

Achilles
03-30-2004, 08:03 AM
erislover and Libertarian - thank you both so much for your help.

That's it - beg, borrow or steal, I'm gonna git me the 5 dollars to join this board.

Both of you, thanks again.

:)

Newton meter
03-30-2004, 08:25 AM
[A -> B'] ^ [B v C] ^ A ^ C

If A is true, then...

B' ^ [B v C] ^ C

If C is true, then...

B' ^ B

Just a quibble.

If C is true, then

B' ^

which is (distributing ^ wrt. V)

[B' ^ B] V [B' ^ C]

which is (since C is true):

[B' ^ B] V B'

which is

B'

since [B' ^ B] is a contradiction.

Yes, [b]Achilles, (A -> B') ^ (B V C) ^ A -> C is a tautology.

You can think of implication as defined in terms of negation and disjunction, so that (A -> B) is equivalent to (A' V B). They have the same truth table semantics. Likewise, applying DeMorgan's to the latter, you get (A ^ B')' (still using your notation).

Alternatively, you can think of negation as being defined in terms of implication and false, so that A' is equivalent to (A -> False) (they have the same truth tables, again), and then disjunction is definable in terms of implication:

(A V B) = (A' -> B) = ((A -> False) -> B)

erislover
03-30-2004, 08:39 AM
Some equivalences which help are:
"Not both P and [not Q]", "P implies Q":
~(P & ~Q) == P -> Q

"P or Q", "[Not P] implies Q."
P V Q == ~P -> Q

where I'm using == to mean "is identical to".

If you run into trouble understanding a proof in one way, sometimes these transformations can help. I do better understanding with AND and OR rather than implication because almost all of my logic experience comes from digital circuits, and there is no "implies" chip (not that they couldn't be constructed, of course, from P NAND NOTQ). :)

Also, note why the disjunctive syllogism works. It is the modus ponens. Saying, "Either P or Q; ~P, hence Q" is the same thing as saying, "~P implies Q; ~P, hence Q." If you are more comfortable with disjunction (OR) than implication, learn the disjunctive syllogism and remember that you can turn implications into one. If you are more comfortable with the modus ponens, then learn that and know you can always transform a disjunctive syllogism into one.

As a complete aside, all the logical operations can be defined using only AND and NOT operations. If you've got those down, know that enough practice can get you anywhere. :)

Mathochist
03-30-2004, 02:40 PM
Here is the statement:

If I work, I cannot study.
Either I study or I pass mathematics.
I worked..
Therefore I passed mathematics.

I have translated this into

A : I work
B : I study
C : I pass mathematics

[A ^ B' ] ^ [ B v C ] ^ [ A -> C ]

When you work this out, the arguement is invalid.

What I am wondering is, is the above symbolic logic statement a correct interpretation of the english, or should it read .... [A ^ B' ] ^ [ B v C ] -> [ A -> C ]

Note the " ->" "implies" symbol between the middle and the last section, as opposed to the " ^ " "and" symbol in my original version."

Can anyone help me with this ?

If I work, I cannot study: [A -> B']
If-then statements are always implications. p->q is equivalent (in first-order predicate calculus) to p' v q, making this [A' v B']

Either I study or I pass mathematics: [B v C]
You're good here.

I worked: [A]

Now, take the conjunction of all three:
A^[A' v B']^[B v C] ==
[A^A' v A^B']^[B v C] ==
[0 v A^B']^[B v C] ==
A^B'^[B v C] ==
A^B'^B v A^B'^C ==
0 v A^B'^C ==
A^B'^C

Therefore you worked, didn't study, and still passed mathematics. Try pulling it off on your qualifying exams, though...