first-order logic

A predicate logic that forms the foundation of large parts of mathematical and computational theory; it has some important limitations, but is otherwise useful because of its simplicity.

Comments are closed.