To get an ad-free experience on website and mobile app, please consider taking a subscription. Subscription fee will help us to add more words and definitions along with building language related features.
Meaning : A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions).