We introduce predicate logic, an extension of propositional logic that allows the use of variables of types other than B. This extension leads to a logic with enhanced expressive and deductive power.
KeywordsInference Rule Free Variable Predicate Calculus Predicate Logic Predicate Symbol
Unable to display preview. Download preview PDF.