In the above video the comparison is explain between propositional logic and first order logic. for more videos subscribe to our channel.