Related: What are modus ponens?
Related: Name any 5 expert system shells.
Related: What do you mean by BFS?
Related: What is A * algorithm?
Answer: First-order logic is a formal system used in mathematics, philosophy,
linguistics, and Computer Science. It is also known as first-order predicate
calculus, the lower predicate calculus, quantification theory, and predicate
logic. First-order logic is distinguished from propositional logic by its use of
quantified variables.
Post a Comment