lexical pointers
derivationally related form
semantic pointers
member of this domain (topic)
analytic, analytical
synthetic, synthetical
extensional
intensional
inductive
inferential
nonmonotonic
interchangeable
noninterchangeable
apodictic, apodeictic
categorematic
syncategorematic
scopal
consistency
completeness
corollary
non sequitur
arity
quantifier, logical quantifier
subject
predicate
proof
paradox
postulation, predication
explicandum, explanandum
explanans
proposition
particular, particular proposition
universal, universal proposition
negation
postulate, posit
axiom
tautology
contradiction, contradiction in terms
logic operation, logical operation
logical relation
transitivity
reflexivity, reflexiveness
quantify
presuppose, suppose
hypernym
hyponym