Encyclopedia > F > First-order logic
First-order logic
First-order logic (FOL) is a universal language in symbolic science, and is in use everyday by mathematicians, philosophers, linguists, computer scientists and practitioners of artificial intelligence. It goes by many names and among them are: first-order predicate calculus (FOPC), the lower predicate calculus, the language of first-order logic or predicate logic.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)