(Q5300067)

English

double negation

theorem

  • double negative elimination

Statements

0 references
\lnot\lnot
0 references
Double negation
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit