Inmathematical logic,predicate logic is the generic term for symbolicformal systems likefirst-order logic,second-order logic,many-sorted logic orinfinitary logic. This formal system is distinguished from other systems such aspropositional logic in that itsformulas containvariables which can bequantified.
This category has the following 2 subcategories, out of 2 total.
The following 36 pages are in this category, out of 36 total.This list may not reflect recent changes.