from The American Heritage® Dictionary of the English Language, 4th Edition
- n. The branch of symbolic logic that deals not only with relations between propositions as a whole but also with their internal structure, especially the relation between subject and predicate. Symbols are used to represent the subject and predicate of the proposition, and the existential or universal quantifier is used to denote whether the proposition is universal or particular in its application.
from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Sorry, no etymologies found.