Searching map area
Formal logic
? TBD
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises