Document:Q11545

From Rhizome Artbase

A statement of propositional logic which holds for all truth values of its atomic propositions