Synset
of a proposition; necessarily true or logically certain
<adj.all>
apodeictic
apodictic
semantic pointers
similar to
true
domain of synset (topic)
logic
