(logic) of a proposition; necessarily true or logically certain
of a proposition; necessarily true or logically certain