You are not logged in.

- Topics: Active | Unanswered

Pages: **1**

**haruka-san****Member**- Registered: 2006-11-08
- Posts: 205

i know that the term LOGIC is very familiar.. actually we have this subject SYMBOLIC LOGIC.. we havent started yet the classes..i am just confused,, is it the same with the subject logic? how does it differ from one another?? anybody who has an idea??

thanks..

Dont compare your life to others. You have no idea what their journey is all about. ^_^

Offline

**Ricky****Moderator**- Registered: 2005-12-04
- Posts: 3,791

Symbol logic is simply expressing a statement with symbols.

Let:

M = Mary likes cheese

B = Bob hates milk

R = Robert feels sick

S = Sally won the game

So

If Mary likes cheese and Bob hates milk or Robert feels sick, or Mary does not like cheese and Bob does not hate milk, then Sally won the game.

Becomes:

( (M^B)vR ) v(~M ^ ~B) -> S

"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."

Offline

**luca-deltodesco****Member**- Registered: 2006-05-05
- Posts: 1,470

i thought ¬ was used negation?

like ¬A as opposed to ~A

The Beginning Of All Things To End.

The End Of All Things To Come.

Offline

**haruka-san****Member**- Registered: 2006-11-08
- Posts: 205

Ricky wrote:

Symbol logic is simply expressing a statement with symbols.

Let:

M = Mary likes cheese

B = Bob hates milk

R = Robert feels sick

S = Sally won the gameSo

If Mary likes cheese and Bob hates milk or Robert feels sick, or Mary does not like cheese and Bob does not hate milk, then Sally won the game.

Becomes:

( (M^B)vR ) v(~M ^ ~B) -> S

WOW! thanks it helps a lot..

Dont compare your life to others. You have no idea what their journey is all about. ^_^

Offline

**Ricky****Moderator**- Registered: 2005-12-04
- Posts: 3,791

i thought ¬ was used negation?

like ¬A as opposed to ~A

There are tons of ways:

Are all notations I've seen. Some with a more computer science oriented background may even use !A.

"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."

Offline

**haruka-san****Member**- Registered: 2006-11-08
- Posts: 205

at last i found a book in symbolic logic! yehey!!

i have read the first chapter and i think studying symbolic logic will be fun.. am i right??

Dont compare your life to others. You have no idea what their journey is all about. ^_^

Offline

**Ricky****Moderator**- Registered: 2005-12-04
- Posts: 3,791

I wouldn't say it's exactly fun. It's mostly simple to the point of it being tedious.

"In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..."

Offline

Pages: **1**