First Order Logic

First Order Logic

路         The prepositional logic only deals with the facts, that may be true or false. 路         The…