(Q209555)

English

tautology

logical formula which is true in every possible interpretation

Statements

Identifiers

 
edit
edit
    edit
    edit
      edit
        edit
          edit
            edit