Artificial Intelligence--Propositional Logic:

This lecture-4 is about :

1. Representation in Propositional Logic

2. Logical Connectives

3. Rules of Inferences
    (a)  Modus Ponen Rule
    (b)  Resolution Rule
4. Inference using Hypothesis-  Example    

5. Inference using Resolution Technique (based on Proof by Contradiction) -  Example 

Click here for  Propositional Logic Notes

Click here for  Propositional Logic & Predicate Logic PPTS