Predicate (mathematical logic)
Truth value
Scope (computer science)
Corollary
Computer science
Linguistics
Natural language processing
Artificial intelligence
Investment (military)
Mathematics
Programming language
Discrete mathematics
Philosophy
Political science
Politics
Law
