First-order logic

First-order logic: A formal language with objects, relations and quantifiers, used in symbolic AI to state facts and derive conclusions mechanically.

Browse the full glossary →