Sorry, the article you're looking for isn't specifically available. Here are related topics:
connectives · Quantifiers · Truth tables Predicate First-order · Quantifiers · Predicate · Second-order · Monadic predicate calculus Set theory Set · Empty set ·...