4.4. Propositional Logic (PL): Syntax, Semantics, Formal logic-connectives, truth tables, tautology, validity, well-formed-formula, Inference using Resolution, Backward Chaining and Forward Chaining Questions & Answers | Artificial Intelligence BSc. CSIT | FWU | TABFlux