Report - PREDICATE LOGIC - · PDF fileIn predicate logic the formalism of propositional logic is extended and is made ... If all arguments of a predicate are individual constants, then the

Please pass captcha verification before submit form