Logic Programming - Prolog 1 Propositional Logic Introduction 2 What is propositional logic? Propositional Logic is concerned with propositions and their interrelationships.…