Propositional Logic

 DEFINITION

😕 Limitations of Propositional Logic 

• Has Limited eXpressive power 
  
  
• Cannot Quantify things. Cannot represent All, Some or None.
  
  
• Cannot Derive new facts from existing.
  
  
• Has Limited Deductive Power. Knowledge Base and Inference are separate. Inference is Domain Independent.
  Example:
  Knowledge Base
  1. All men are Mortal.
  2. Kapil is a man.
  
  With Propositional Logic, it cannot be inferred that "Kapil is Mortal" [Inference]
  
  
• Each update/processing is done for a specific problem.

S💡lution? First Order Logic!