Statement

 Properties of Statement:

• A statement is satisfiable if there is some interpretation for which it is true.
• A statement is valid if it is true for all interpretations.
• A Statement is contradictory if there is no interpretation for which it is true.
• Two sentences are equivalent if they have the same truth value under every interpretation.
• A statement is a logical consequence of another if it is established by all interpretations which are satisfied by the first.

Note:

1.  A valid statement is satisfiable and a contradictory statement is invalid. But the converge is not necessary to be true.
2. P V ⁓P is valid since every interpretation results in a value of true.
3. P & ⁓P is contradictory since every interpretation results in a value of false.
4. P & ⁓(⁓P) are equivalent since each has the same truth value under every interpretation.
5. P is a logical consequence of P&Q since any interpretation for which P&Q is true, P is also true.

All Topics:

1. Statement  
2. knowledge
3. intelligent Agent
4. Syntex and semantic of PL
5. Well Form Formula (WFF)
6. Structured Knowledge 
7. Expert System
8. Reasoning in AI
9. Natural Language Processing