# AI 1st order logic

2 replies to this topic

### #1eric007

New Member

• Members
• 1 posts

Posted 24 August 2011 - 02:06 PM

Hi all

i was wondering if anybody could explain/solve the folowing so i can understand:

What does it mean for a logical statement to be valid, and what does it mean for it to be satisfiable?
Which of the following statements are valid, satisfiable, or neither?

(a) fire => smoke
( Smoke => fire
© (fire => smoke) => (~smoke => ~fire)

note:~ refers to NOT, i could not draw the proper sign

any comment would be really appreciated

eric007

### #2tobeythorn

Valued Member

• Members
• 189 posts

Posted 24 August 2011 - 03:11 PM

Eric,
Not sure if this is a homework assignment, but so you know, this isn't the place (and there shouldn't be any place) to have other people do your homework for you.

Secondly, you must tell us what the => symbol means in this context.

I checked Wikipedia, and the pages are written from a retrospective and abstract perspective, rather than explaining things without assuming prior knowledge and experience, so I can't make sense of it.

I'm guessing that valid means that a statement is consistent or correct. For example, 4+5 is valid, 4+/5 is not.

I'll also guess that satisfiable means that the logical statement has at least one solution. For example, 2*3 = ? has a solution of 6. Infinity*zero = ? doesn't necessarily have a solution.

### #3alphadog

DevMaster Staff

• Moderators
• 1716 posts

Posted 24 August 2011 - 04:44 PM

Seriously, have you ever heard of Google?

http://www.lmgtfy.co...valid+satisfied

But, to get you started, "valid" means "satisfied under all possible instances" and "satisfied" applies to any one instance. IOW, valid means true for all instances, but you'd say a case satisfies the logic statement. (Keep in mind, "instances" are constrained to the domain the logic statement is about.)

"x is purple"
- If we substitute "eggplant" for x, then the statement is satisfied.
- I we substitute "Amy", well, it's not satisfied. Amy is not purple.

This is all basic stuff you'd find in any math book on predicate logic.
Hyperbole is, like, the absolute best, most wonderful thing ever! However, you'd be an idiot to not think dogmatism is always bad.

#### 1 user(s) are reading this topic

0 members, 1 guests, 0 anonymous users