Predicate Logic
Predicate Logic
Predicate Logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
You know:<br />
Exercises<br />
All people living in PMH are rich.<br />
Rich people have much money<br />
People who work only in government sector (or<br />
called government staff) do not have much<br />
money.<br />
An is a government staff<br />
Prove:<br />
An does not live in PMH.<br />
Artificial Intelligence: <strong>Predicate</strong> <strong>Logic</strong> Slide: 80