the truth-functional relationship which obtains between any two propositions having the same truth value (either both true or both false); a case…

(a) a set of statements that are components of a given complex statement and are true for a particular assignment of truth values to all the…

a word or symbol signifying that the proposition to which it attaches is a necessary truth.